# nLab Giraud's theorem

### Context

#### Topos Theory

Could not include topos theory - contents

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