Koszul duality and geometric Hecke categories

Abstract: I will try to show how Koszul duality patterns manifest in the various categories of sheaves of interest in representation theory, after Beilinson-Ginzburg-Soergel, Bezrukavnikov-Yun, Mirković-Riche.