(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
An $n$-topos is an n-category analog of a topos.
An $n$-topos that is an (n,1)-category, hence where all k-morphisms for $k \geq 2$ are equivalences is called an (n,1)-topos. See there for more.
For every $n$, The canonical $(n+1)$-topos is nCat?, the (n+1)-category of n-categories.
flavors of higher toposes
Last revised on August 25, 2021 at 15:46:33. See the history of this page for a list of all contributions to it.