Cohomology and homotopy
In higher category theory
(∞,1)-category of (∞,1)-sheaves
Extra stuff, structure and property
locally n-connected (n,1)-topos
locally ∞-connected (∞,1)-topos, ∞-connected (∞,1)-topos
structures in a cohesive (∞,1)-topos
An -topos is an n-category analog of a topos.
An -topos that is an (n,1)-category, hence where all k-morphisms for are equivalences is called an (n,1)-topos. See there for more.
For every , The canonical -topos is nCat?, the (n+1)-category of n-categories.
Created on June 26, 2011 17:04:24
by Urs Schreiber