1 problem

Grothendieck 2-topos conjecture. The 2-category of $\operatorname{Cat}$-valued functors on any small 2-category $\mathcal{C}$ is a 2-topos; more generally, every Grothendieck 2-top…