Related papers: Normality and quotient in crossed modules, cat$^1$…
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 the theory of crossed modules, considering arbitrary self-actions instead of conjugation allows for the extension of the concept of crossed modules and thus the notion of generalized crossed module emerges. In this paper we give a…
In this paper we prove some results on the covering morphisms of internal groupoids. We also give a result on the coverings of the crossed modules of groups with operations.
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 present a natural extension of the process of taking a group quotient to arbitrary subgroups. We first review basic concepts from group theory. This will allow us to see the relationship between our new, more general quotient operation…
We introduce the notion of Whitehead sequence which is defined for a base category together with a system of abstract actions over it. In the classical case of groups and group actions the Whitehead sequences are precisely the…
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,…
It is a well known result in the covering groups that a subgroup $G$ of the fundamental group at the identity of a semi-locally simply connected topological group determines a covering morphism of topological groups with characteristic…
The aim of this paper is to define the notion of lifting of a crossed module via a group morphism and give some properties of this type of the lifting. Further we obtain a criterion for a crossed module to have a lifting of crossed module.…
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 introduce a general definition of a $n$-crossed module of $P$-algebras over an algebraic operad $P$, which coincides with historical definitions in the cases of the operads As and Lie and $n = 1$. We establish a natural isomorphism…
Let $H$ be a Hopf algebra in braided category $\cal C$. Crossed modules over $H$ are objects with both module and comodule structures satisfying some comatibility condition. Category ${\cal C}^H_H$ of crossed modules is braided and is…
A crossed module is (A,H,d,\la) where d:A\to H is a homomorphism of groups and H acts on A, with conditions leading to a groupoid A\lcross H{\to\atop \to}H as an example of a strict 2-group. We give the corresponding notion of a quantum…
Let $A$ be a Hopf algebra in a braided category $\cal C$. Crossed modules over $A$ are introduced and studied as objects with both module and comodule structures satisfying a compatibility condition. The category $\DY{\cal C}^A_A$ of…
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…
For a rigid tensor abelian category $T$ over a field $k$ we introduce a notion of a normal quotient $q:T\to Q$. In case $T$ is a Tannaka category, our notion is equivalent to Milne's notion of a normal quotient. More precisely, if $T$ is…
The aim of this paper is to characterize the notion of internal category (groupoid) in the category of Leibniz algebras and investigate the properties of well-known notions such as covering groupoid and groupoid operations (actions) in this…
We firstly prove the completeness of the category of crossed modules in a modified category of interest. Afterwards, we define pullback crossed modules and pullback cat$^1$-objects that are both obtained by pullback diagrams with extra…
It is a well-known fact that the category $\mathsf{Cat}(\mathbf{C})$ of internal categories in a category $\mathbf{C}$ has a description in terms of crossed modules, when $\mathbf{C}=\mathbf{Gr}$ is the category of groups. The proof of this…
Algebraic structures such as monoids, groups, and categories can be formulated within a category using commutative diagrams. In many common categories these reduce to familiar cases. In particular, group objects in Grp are abelian groups,…