nLab
(infinity,n)-topos

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Higher topos Theory

(∞,1)-topos theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

structures in a cohesive (∞,1)-topos

Contents

Definition

For H\mathbf{H} an (∞,1)-topos and nn \in \mathbb{N}, the collection nCat(H)n Cat(\mathbf{H}) of n-category object in H\mathbf{H}, hence of (∞,n+1)-sheaves on H\mathbf{H} is an (,1)(\infty,1)-localic (,n+1)(\infty,n+1)-topos.

See at Internal category object in an (∞,1)-category – Iterated internalization.

Revised on November 28, 2012 03:40:05 by Urs Schreiber (82.169.65.155)