nLab n-topos

Contents

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

(,1)(\infty,1)-Topos Theory

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos

Contents

Idea

An nn-topos is an n-category analog of a topos.

An nn-topos that is an (n,1)-category, hence where all k-morphisms for k2k \geq 2 are equivalences is called an (n,1)-topos. See there for more.

Examples

For every nn, The canonical (n+1)(n+1)-topos is nCat?, the (n+1)-category of n-categories.

flavors of higher toposes

References

Last revised on August 25, 2021 at 15:46:33. See the history of this page for a list of all contributions to it.