Homotopy classification of gerbes

Gerbes are locally connected presheaves of groupoids on a small Grothendieck site C. They are classified up to local weak equivalence by path components of a cocycle category taking values in the big 2-groupoid Iso(Gr(C)) consisting of all sheaves of groups on C, their isomorphisms and homotopies. If F is a full sub- presheaf of Iso(Gr(C)) then the set [*,BF] of morphisms in the homotopy category of simplicial presheaves classifies gerbes locally weakly equivalent to objects of F. Id St(пF)is the stack completion of the fundamental groupoid(пF)of F if L is a global section of St(пF) and if FL is the homotopy fibre over L of the canonical map BF --> B St(пF), then [*FL] is in bijective correspondence with Giraud's non-abelian cohomology object H2 (C, L) of equivalence classes of gerbes with band L