Could not include topos theory - contents
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