nLab 2-Giraud theorem




The 2-Giraud theorem is the generalization of Giraud's theorem from topos theory to 2-topos theory.


The following theorem, which generalizes the classical Giraud theorem, is due to StreetCBS.


For a 2-category KK, the following are equivalent.

In fact, it is not hard to prove the same theorem for n-categories, for any 1n21\le n\le 2.


For an n-category KK, the following are equivalent.

  • KK is equivalent to the nn-category of n-sheaves on a small n-site.
  • KK is an infinitary n-pretopos with a small eso-generator?.
  • KK is a reflective sub-nn-category of a category [C op,nCat][C^{op},n Cat] of nn-presheaves with left-exact reflector.

For n=2n=2 this is Street’s theorem; for n=1n=1 it is the classical theorem. The other values included are of course n=(1,2)n=(1,2) and n=(2,1)n=(2,1).


Created on March 9, 2012 at 18:53:54. See the history of this page for a list of all contributions to it.