# nLab Giraud's theorem

topos theory

## 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)