nLab (infinity,n)-topos

Contents

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

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.

flavors of higher toposes

Last revised on March 6, 2023 at 05:13:36. See the history of this page for a list of all contributions to it.