nLab
n-topos

Context

Topos Theory

Could not include topos theory - contents

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

(∞,1)-topos theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

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.

References

Created on June 26, 2011 17:04:24 by Urs Schreiber (82.113.99.43)