nLab
ntopos
Contents
Context
Topos Theory
topos theory
Background
Toposes
Internal Logic
Topos morphisms
Cohomology and homotopy
In higher category theory
Theorems
$(\infty,1)$Topos Theory
(∞,1)topos theory
Background
Definitions

elementary (∞,1)topos

(∞,1)site

reflective sub(∞,1)category

(∞,1)category of (∞,1)sheaves

(∞,1)topos

(n,1)topos, ntopos

(∞,1)quasitopos

(∞,2)topos

(∞,n)topos
Characterization
Morphisms
Extra stuff, structure and property

hypercomplete (∞,1)topos

over(∞,1)topos

nlocalic (∞,1)topos

locally nconnected (n,1)topos

structured (∞,1)topos

locally ∞connected (∞,1)topos, ∞connected (∞,1)topos

local (∞,1)topos

cohesive (∞,1)topos
Models
Constructions
structures in a cohesive (∞,1)topos
Contents
Idea
An $n$topos is an ncategory analog of a topos.
An $n$topos that is an (n,1)category, hence where all kmorphisms for $k \geq 2$ are equivalences is called an (n,1)topos. See there for more.
Examples
For every $n$, The canonical $(n+1)$topos is nCat?, the (n+1)category of ncategories.
References
Last revised on August 25, 2021 at 11:46:33.
See the history of this page for a list of all contributions to it.