Related papers: Crossed extensions and equivalences of topological…

In this paper using split extensions of group-groupoids we obtain the notion of crossed modules over group-grouoids which are also called 2-groups and we prove a categorical equivalence of these types of crossed modules and double…

We generalize the notion of a crossed module of groups to that of a crossed module of racks. We investigate the relation to categorified racks, namely strict 2-racks, and trunk-like objects in the category of racks, generalizing the…

We consider the categorical equivalence between crossed modules over groupoids and double groupoids with thin structures; and by this equivalence, we prove how normality and quotient concepts are related in these two categories and give…

In this paper, we state the notion of morphisms in the category of abelian crossed modules and prove that this category is equivalent to the category of strict Picard categories and regular symmetric monoidal functors. The theory of…

We address the (pointed) homotopy of crossed module morphisms in modified categories of interest; which generalizes the groups and various algebraic structures. We prove that, the homotopy relation gives rise to an equivalence relation;…

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…

We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…

This is the second part of a series of three strongly related papers in which three equivalent structures are studied: - internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans -…

We define and study the notion of a crossed module over an inverse semigroup and the corresponding $4$-term exact sequences, called crossed module extensions. For a crossed module $A$ over an $F$-inverse monoid $T$, we show that equivalence…

The 2-categories of strict 2-groups and crossed modules are introduced and their 2-equivalence is made explicit.

We address the homotopy theory of 2-crossed modules of commutative algebras, which are equivalent to simplicial commutative algebras with Moore complex of length two. In particular, we construct for maps of 2-crossed modules a homotopy…

This paper links the third symmetric cohomology (introduced by Staic and Zarelua ) to crossed modules with certain properties. The equivalent result in the language of 2-groups states that an extension of 2-groups corresponds to an element…

We introduce the notion of 3-crossed module, which extends the notions of 1-crossed module (Whitehead) and 2-crossed module (Conduch\'e). We show that the category of 3-crossed modules is equivalent to the category of simplicial groups…

We consider the localisation of the 2-category of diffeological groupoids at weak equivalences from the perspective of anafunctors, and with this language, prove that the localisation of the 2-category of Lie groupoids is an essentially…

This is an overview of the idea of a crossed module. For a group, the triple that consists of the group, its group of automorphisms, and the canonical homomorphism from the group to its group of automorphisms constitutes a crossed module.…

The established equivalence between 2-crossed modules and Gray 3-groups [M. Sarikaya and E. Ulualan, 2024] serves as a benchmark for higher-dimensional algebraic models. However, to the best of our knowledge, the established definitions of…

In this paper we will define notion homotopy of morphisms of crossed modules of Lie algebras. Then we construct a groupoid structure of Lie crossed module morphisms and their homotopies.

In this study, we interpret the notion of homotopy of morphisms in the category of crossed modules in a category $\mathsf{C}$ of groups with operations using the categorical equivalence between crossed modules and internal categories in…

We extend certain homomorphisms defined on the higher Torelli subgroups of the mapping class group to crossed homomorphisms defined on the entire mapping class group. In particular, for every $k\geq 2$, we construct a crossed homomorphism…

We outline the main features of the definitions and applications of crossed complexes and cubical $\omega$-groupoids with connections. These give forms of higher homotopy groupoids, and new views of basic algebraic topology and the…