1: \begin{abstract}

2: We prove a monoidal equivalence, called \emph{universal Koszul duality}, between genuine equivariant $K$-motives on a Kac--Moody flag variety and constructible monodromic sheaves on its Langlands dual. The equivalence is obtained by a Soergel-theoretic description of both sides which extends results for finite-dimensional flag varieties by Taylor and the first author.

3: 

4: Universal Koszul duality bundles together a whole family of equivalences for each point of a maximal torus.

5: At the identity, it recovers an ungraded version of Beilinson--Ginzburg--Soergel and Bezrukavnikov--Yun's Koszul duality for equivariant and unipotently monodromic sheaves. 

6: It also generalizes Soergel-theoretic descriptions for 

7: monodromic categories on finite-dimensional flag varieties by Lusztig--Yun, Gouttard and the second author. For affine Kac--Moody groups, our work sheds new light on the conjectured quantum Satake equivalences by Cautis--Kamnitzer and Gaitsgory.

8: 

9: On our way, we establish foundations on six functors for reduced $K$-motives and introduce a formalism of constructible monodromic sheaves.

10: \end{abstract}

11: