(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
A $(2,1)$-site is an (∞,1)-site. whose underlying (∞,1)-category is a (2,1)-category. Equivalently, it is a 2-site whose underlying 2-category is a (2,1)-category.
The (2,1)-category of (2,1)-sheaves on a (2,1)-site is a Grothendieck-(2,1)-topos.
The (∞,1)-category of (∞,1)-sheaves on a $(2,1)$-site is an 2-localic (∞,1)-topos.
2-site, (2,1)-site
Last revised on September 16, 2012 at 00:35:23. See the history of this page for a list of all contributions to it.