(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
An (∞,2)-category of (∞,2)-sheaves. The joint higher generalization of the notion of (∞,1)-topos and 2-topos.
The archetypical example is the (infinity,2)-category of (infinity,1)-categories . See also at formal category theory.
Last revised on October 13, 2021 at 12:01:58. See the history of this page for a list of all contributions to it.