Cohomologie non abélienne

A-torseur ad(P algèbre homologique appartienne à l'image automorphismes intérieurs Auts(x bijection Cart(F,G central dans B centralisateur centre champ associé classe unité classes à isomorphisme cobord cocycle cohomologie conoyau Corollaire couple defini définit Définition diagramme commutatif E-catégorie fibrée E-champ E-equivalence E-foncteur cartésien équivalence de catégories espace homogène FAGR(E faisceau de groupes fonctoriel G un groupe G-objet gerbe des relèvements groupe structural groupes abéliens H²(A H²(B H²(C H²(L HOM P,Q injectif isomorphisme canonique isomorphisme unique L M un morphisme L-gerbe l'application l'ensemble des classes l'isomorphisme l'objet final lien(A limites projectives finies localement isomorphes monomorphisme morphisme central morphisme de champs morphisme de faisceaux morphisme de gerbes morphisme de groupes morphisme de liens morphisme de sites morphisme induit muni notera Ob(E obtenu en tordant opère librement pleinement fidèle préfaisceau produit contracté Proposition quotient Réf représentable resp SGAA Soient G sous-jacent suite exacte surjectif topologie topos torseur u-morphisme U-site U-topos