Prolongations of a group extension can be studied in a more general situation that we call group extensions of the co-type of a crossed module. Cohomology classification of such extensions is obtained by applying the obstruction theory of monoidal functors.
In this paper we state some applications of Gr-category theory on the classification of crossed modules and on the classification of extensions of groups of the type of a crossed module.
We give an elementary proof of the well-known fact that the third cohomology group H^3(G, M) of a group G with coefficients in an abelian G-module M is in bijection to the set Ext^2(G, M) of equivalence classes of crossed module extensions of G with M.
Any group $G$ gives rise to a 2-group of inner automorphisms, $mathrm{INN}(G)$. It is an old result by Segal that the nerve of this is the universal $G$-bundle. We discuss that, similarly, for every 2-group $G_{(2)}$ there is a 3-group $mathrm{INN}(G
_{(2)})$ and a slightly smaller 3-group $mathrm{INN}_0(G_{(2)})$ of inner automorphisms. We describe these for $G_{(2)}$ any strict 2-group, discuss how $mathrm{INN}_0(G_{(2)})$ can be understood as arising from the mapping cone of the identity on $G_{(2)}$ and show that its underlying 2-groupoid structure fits into a short exact sequence $G_{(2)} to mathrm{INN}_0(G_{(2)}) to Sigma G_{(2)}$. As a consequence, $mathrm{INN}_0(G_{(2)})$ encodes the properties of the universal $G_{(2)}$ 2-bundle.
A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to $G$-crosse
d braided categories, certain mathematical structures which have emerged as important invariants of low-dimensional quantum field theories. More precisely, we show that the 4-category of $3$-categories $mathcal{C}$ equipped with a 3-functor $mathrm{B}G to mathcal{C}$ which is essentially surjective on objects and $1$-morphisms is equivalent to the $2$-category of $G$-crossed braided categories. This provides a uniform approach to various constructions of $G$-crossed braided categories.
We discuss the relationship between (co)homology groups and categorical diagonalization. We consider the category of chain complexes in the category of finitely generated free modules on a commutative ring. For a fixed chain complex with zero maps as
an object, a chain map from the object to another chain complex is defined, and the chain map introduce a mapping cone. We found that the fixed object is isomorphic to the (co)homology groups of the codomain of the chain map if and only if the chain map is injective to the cokernel of differentials of the codomain chain complex and the mapping cone is homotopy equivalent to zero. On the other hand, the fixed object is regarded as a categorified eigenvalue of the chain complex in the context of the categorical diagonalization introduced by B.Elias and M. Hogancamp arXiv:1801.00191v1. It is found that (co)homology groups are constructed as the eigenvalue of a chain complex.