Related papers: Computation and Homotopical Applications of Induce…

We introduce the notion of isoclinism among crossed modules of Lie algebras, which will be called "Lie crossed modules" hereafter, and investigate some basic properties. Additionally, we introduce the notion of class preserving actor of a…

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 define 2-crossed module bundle 2-gerbes related to general Lie 2-crossed modules and discuss their properties. A 2-crossed module bundle 2-gerbe over a manifold is defined in terms of a so called 2-crossed module bundle gerbe, which is a…

We provide concrete models for generalized morphisms and Morita equivalences of topological 2-groupoids by introducing the notions of crossings and crossed extensions of groupoid crossed modules. A systematic study of these objects is…

We prove that if $M$ is a CW-complex and $*$ is a 0-cell of $M$, then the crossed module $\Pi_2(M,M^1,*)$ does not depend on the cellular decomposition of $M$ up to free products with $\Pi_2(D^2,S^1,*)$, where $M^1$ is the 1-skeleton of…

Computational Group Theory is applied to indexed objects (tensors, spinors, and so on) with dummy indices. There are two groups to consider: one describes the intrinsic symmetries of the object and the other describes the interchange of…

Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those in terms of Euler operators obtained from the variational…

Using cohomological methods, we prove a criterion for the embedding of a group extension with abelian kernel into the split extension of a co-induced module. This generalises some earlier similar results. We also prove an assertion about…

We study the Moore complex of a simplicial cocommutative Hopf algebra through Hopf kernels. The most striking result to emerge from this construction is the coherent definition of 2-crossed modules of cocommutative Hopf algebras. This…

These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted…

In this paper, we describe a regular representation given by Cayley theorem for 2-crossed modules of groups and their associated Gray 3-group groupoids with a single 0-cell and equivalently cat2-groups.

The category of crossed complexes gives an algebraic model of CW-complexes and cellular maps. Free crossed resolutions of groups contain information on a presentation of the group as well as higher homological information. We relate this to…

We give several algorithms addressing computations of intersections of conjugate subgroups.

We describe various path homology theories constructed for a directed hypergraph. We introduce the category of directed hypergraphs and the notion of a homotopy in this category. Also, we investigate the functoriality and the homotopy…

We define the concept of a bi-operad. We develop the homotopy theory of "Bital-Sets" and of infinite-bi-operads. We develop a geometry of generalized schemes based on the spectra of distributive monochromatic bi-operads.

We address the (pointed) homotopy theory of 2-crossed modules (of groups), which are known to faithfully represent Gray 3-groupoids, with a single object, and also connected homotopy 3-types. The homotopy relation between 2-crossed module…

In this paper, we introduced the concept of crossed module for Hom-Lie antialgebras. It is proved that the category of crossed modules for Hom-Lie antialgebras and the category of $Cat^1$-Hom-Lie antialgebras are equivalent to each other.…

In this study, internal categories in the category of the crossed modules are characterized and it has been shown that there is a natural equivalence between the category of the crossed modules over crossed modules, i.e. crossed squares,…

Using standard calculus, explicit formulas for one-, two- and three-dimensional homotopy operators are presented. A derivation of the one-dimensional homotopy operator is given. A similar methodology can be used to derive the…

We present an overview of computational methods for Bredon cohomology with a special focus on infinite groups