Abstract
AbstractIn this paper we show that a finite product preserving opfibration can be factorized through an opfibration with the same property, but with groupoidal fibres. If moreover the codomain is additive, one can endow each fibre of the new opfibration with a canonical symmetric 2-group structure. We then apply such factorization to the opfibration that sends a crossed extension of a group C to its corresponding C-module. The symmetric 2-group structure so obtained on the fibres, defines the third cohomology 2-group of C, with coefficients in a C-module. We show that the usual third and second cohomology groups are recovered as its homotopy invariants. Furthermore, even if all results are presented in the category of groups, their proofs are valid in any strongly protomodular semi-abelian category, once one adopts the corresponding internal notions.
Funder
Università degli Studi di Milano
Publisher
Springer Science and Business Media LLC
Reference26 articles.
1. Abbad, O., Mantovani, S., Metere, G., Vitale, E.M.: Butterflies in a semi-abelian context. Adv. Math. 238, 140–183 (2013)
2. Aldrovandi, E., Noohi, B.: Butterflies I: morphisms of 2-group stacks. Adv. Math. 221, 687–773 (2009)
3. Baez, J., Lauda, A.: Higher-dimensional algebra V: 2-groups. Theory Appl. Categ. 12, 423–491 (2004)
4. Beck, J. M.: Triples, algebras and cohomology. Ph.D. Thesis at Columbia University (1967). Republished in: Reprints in Theory and Applications of Categories, No. 2 (2003)
5. Borceux, F., Bourn, D.: Mal’cev, Protomodular, Homological and Semi-abelian Categories, Math. Appl., vol. 566. Kluwer Acad. Publ., Alphen aan den Rijn (2004)