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
1-category case: see Grothendieck topos;
2-category case: see 2-Giraud theorem;
(infinity,1)-category case: see (infinity,1)-topos
Last revised on January 21, 2015 at 13:41:44. See the history of this page for a list of all contributions to it.