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 January 21, 2015 13:41:44 by Urs Schreiber (88.100.66.95)