Related papers: Computation and Homotopical Applications of Induce…
Results on the finiteness of induced crossed modules are proved both algebraically and topologically. Using the Van Kampen type theorem for the fundamental crossed module, applications are given to the 2-types of mapping cones of…
We introduce the notion of an induced 2-crossed module, which extends the notion of an induced crossed module (Brown and Higgins).
The aim of this paper is to explain how, through the work of a number of people, some algebraic structures related to groupoids have yielded algebraic descriptions of homotopy n-types. Further, these descriptions are explicit, and in some…
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 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 is the second part of the paper. Results of the first part about crossed modules are applied here to study of quantum groups in braided categories. Correct cross product in the class of quantum braided groups is built. Criterion when…
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 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…
We address the homotopy theory of 2-crossed modules of commutative algebras. In particular, we define the concept of a 2-fold homotopy between a pair of 1-fold homotopies connecting 2-crossed module maps $\A \to \A'$. We also prove that if…
The notion of crossed modules for Lie 2-algebras is introduced. We show that, associated to such a crossed module, there is a strict Lie 3-algebra structure on its mapping cone complex and a strict Lie 2-algebra structure on its…
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.
We define a cotriple (co)homology of crossed modules with coefficients in a $\pi_1$-module. We prove its general properties, including the connection with the existing cotriple theories on crossed modules. We establish the relationship with…
We introduce the isoclinism of crossed modules. We also give GAP implementations for constructing the isoclinism families of finite crossed modules and consequently give an enumeration about isoclinic crossed modules existing in the GAP…
We give a detailed description of the structure of the actor 2-crossed module related to the automorphisms of a crossed module of groupoids. This generalises work of Brown and Gilbert for the case of crossed modules of groups, and part of…
J.H.C. Whitehead introduced the concept of crossed modules in the early 20th century. These crossed modules are crucial for algebraic models of 2-type homotopy, which involve connected spaces with no higher than second-degree homotopy…
In this paper, we define the notion of crossed modules of groups with action and investigate related structures. Functions for computing of these structures have been written using the GAP computational discrete algebra programming…
Crossed modules are known to be a model of pointed connected homotopy 2-types; formally, the homotopy category of crossed modules is equivalent to the category of pointed connected homotopy 2-types. In forming the homotopy category of…
The 2-categories of strict 2-groups and crossed modules are introduced and their 2-equivalence is made explicit.
The purpose of this note is to observe that a homomorphism of discrete groups $f:\Gamma\to G$ arises as the induced map $\pi_0(\mathfrak{M})\to \pi_0(\mathfrak{X})$ on path components of some closed normal inclusion of topological groups…
This paper describes an approach to computer aided calculations in the cohomology of arithmetic groups. It complements existing literature on the topic by emphasizing homotopies and perturbation techniques, rather than cellular subdivision,…