nLab
Giraud's theorem

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Idea

A classical theorem of Giraud characterizes sheaf toposes abstractly as categories with certain properties.

In higher topos theory there are corresponding analogs of this theorem

Revised on November 13, 2012 21:14:27 by Urs Schreiber (82.169.65.155)