(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.
Last revised on February 4, 2013 at 21:32:45. See the history of this page for a list of all contributions to it.