nLab
(infinity,2)-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

Idea

An (∞,2)-category of (∞,2)-sheaves. The joint higher generalization of the notion of (∞,1)-topos and 2-topos.

Revised on February 4, 2013 21:32:45 by Urs Schreiber (89.204.155.243)