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

Last revised on January 21, 2015 at 13:41:44. See the history of this page for a list of all contributions to it.