Koszul Duality in Higher Topoi

Jonathan Beardsley, Maximilien Péroux

We show that there is an equivalence in any $n$-topos $\mathcal{X}$ between the pointed and $k$-connective objects of $\mathcal{X}$ and the ${\mathbb{E}}_k$-group objects of the $(n-…