In the context of internal crossed modules over a fixed base object in a given semi-abelian category, we use the non-abelian tensor product in order to prove that an object is perfect (in an appropriate sense) if and only if it admits a universal central extension. This extends results of Brown-Loday (in the case of groups) and Edalatzadeh (in the case of Lie algebras). Our aim is to explain how those results can be understood in terms of categorical Galois theory: Edalatzadeh's interpretation in terms of quasi-pointed categories applies, but a more straightforward approach based on the theory developed in a pointed setting by Casas and the second author works as well.
We explain how, in the context of a semi-abelian category, the concept of an internal crossed square may be used to set up an intrinsic approach to the Brown-Loday non-abelian tensor product.
In this work we introduce the notions of Peiffer product and Peiffer commutator of internal pre-crossed modules over a fixed object B, extending the corresponding classical notions to any semi-abelian category C. We prove that, under mild additional assumptions on C, crossed modules are characterized as those pre-crossed modules X whose Peiffer commutator <X,X> is trivial. Furthermore we provide suitable conditions on C (fulfilled by a large class of algebraic varietes, including among others groups, associative algebras, Lie and Leibniz algebras) under which the Peiffer product realizes the c…
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 obstructions for symmetric monoidal functors and symmetric cohomology groups are applied to show a treatment of the group extension problem of the type of an abelian crossed module.
In this paper, we define the notion of Hopf crossed square for cocommutative Hopf algebras extending the notions of crossed squares of groups and of Lie algebras. We prove the equivalence between the category of Hopf crossed squares and the category of double internal groupoids in the category of cocommutative Hopf algebras. The Hopf crossed squares turn out to be the internal crossed modules in the category of crossed modules in the category of cocommutative Hopf algebras.
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, and the category of the internal categories within the category of crossed modules. Finally, we obtain examples of crossed squares using this equivalence.
If $Γ$ is a group, then braided $Γ$-crossed modules are classified by braided strict $Γ$-graded categorial groups. The Schreier theory obtained for $Γ$-module extensions of the type of an abelian $Γ$-crossed module is a generalization of the theory of $Γ$-module extensions.
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 we define the notions of normal subcrossed module and quotient crossed module within groups with operations; and using the equivalence of crossed modules over groups with operations and internal groupoids we prove how normality and quotient concepts are related in these two categories. Further we prove an equivalence of crossed modules over groups with operations and cat$^1$-groups with operations for a certain algebraic category; and then by this equivalence we determine normal and quotient objects in the category of cat$^{1}$-groups with operations. Finally we characterize the …
In this work we study the notion of Whitehead sequence in the category of crossed modules and actions of crossed modules. As expected, Whitehead sequences in that context are the same as crossed squares. We investigate under which conditions a Whitehead sequence of crossed modules gives rise to an internal groupoid in the category of crossed modules. In other words, we explicitly investigate the so called "Smith is Huq" condition in the category of crossed modules.
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 crossed-modules of groups. For a general setting we give sufficient conditions for the existence of a categorical equivalence between internal groupoids and Whitehead sequences.
Inspired by recent work of Batanin and Berger on the homotopy theory of operads, a general monad-theoretic context for speaking about structures within structures is presented, and the problem of constructing the universal ambient structure containing the prescribed internal structure is studied. Following the work of Lack, these universal objects must be constructed from simplicial objects arising from our monad-theoretic framework, as certain 2-categorical colimits called codescent objects. We isolate the extra structure present on these simplicial objects which enable their codescent object…
In finitely cocomplete homological categories, co-smash products give rise to (possibly higher-order) commutators of subobjects. We use binary and ternary co-smash products and the associated commutators to give characterisations of internal crossed modules and internal categories, respectively. The ternary terms are redundant if the category has the Smith is Huq property, which means that two equivalence relations on a given object commute precisely when their normalisations do. In fact, we show that the difference between the Smith commutator of such relations and the Huq commutator of their…
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 group-groupoids which are internal to the category of group-groupoids. This equivalence enables us to produce more examples of double groupoids.
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 $\mathsf{C}$. Further, we characterize the derivations of crossed modules in a category $\mathsf{C}$ of groups with operations and obtain new crossed modules using regular derivations of old one.
We introduce and study a homology theory of crossed modules with coefficients in an abelian crossed module. We discuss the basic properties of these new homology groups and give some applications. We then restrict our attention to the case of integral coefficients. In this case we regain the homology of crossed modules originally defined by Baues and further developed by Ellis. We show that it is an instance of Barr-Beck comonadic homology, so that we may use a result of Everaert and Gran to obtain Hopf formulae in all dimensions.
By regarding the classical non abelian cohomology of groups from a 2-dimensional categorical viewpoint, we are led to a non abelian cohomology of groupoids which continues to satisfy classification, interpretation and representation theorems generalizing the classical ones. This categorical approach is based on the fact that if groups are regarded as categories, then, on the one hand, crossed modules are 2-groupoids and, cocycles are lax 2-functors and the cocycle conditions are precisely the coherence axioms for lax 2-functors, and, on the other hand group extensions are fibrations of categor…
The theorem of the title is deduced from the equivalence between crossed complexes and cubical $ω$-groupoids with connections proved by the authors in 1981. In fact we prove the equivalence of five categories defined internally to an additive category with kernels.
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, while internal categories in Grp are equivalent both to group objects in Cat and to crossed modules of groups. In this exposition we give an elementary introduction to some of the key concepts in this area.
It is known that monoidal functors between internal groupoids in the category Grp of groups constitute the bicategory of fractions of the 2-category Grpd(Grp) of internal groupoids, internal functors and internal natural transformations in Grp with respect to weak equivalences. Monoidal functors can be described equivalently by a kind of weak morphisms introduced by B. Noohi under the name of "butter ies". In order to internalize monoidal functors in a wide context, we introduce the notion of internal butterflies between internal crossed modules in a semi-abelian category C, and we show that t…
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 - crossed modules of monoids relative to this class of spans - simplicial monoids of so-called Moore length 1 relative to this class of spans. The most important examples of monoids that are covered are small categories (treated as monoids in categories of spans) and bimonoids in symmetric monoidal categories (regarded as monoids in categories of comonoids). In thi…
The correspondence between the concept of conditional flatness and admissibility in the sense of Galois appears in the context of localization functors in any semi-abelian category admitting a fiberwise localization. It is then natural to wonder what happens in the category of crossed modules where fiberwise localization is not always available. In this article, we establish an equivalence between conditional flatness and admissibility in the sense of Galois (for the class of regular epimorphisms) for regular-epi localization functors. We use this equivalence to prove that nullification functo…
The concept of a pair of compatible actions was introduced in the case of groups by Brown and Loday and in the case of Lie algebras by Ellis. In this article we extend it to the context of semi-abelian categories (that satisfy the Smith-is-Huq condition). We give a new construction of the Peiffer product, which specialises to the definitions known for groups and Lie algebras. We use it to prove our main result, on the connection between pairs of compatible actions and pairs of crossed modules over a common base object. We also study the Peiffer product in its own right, in terms of its univers…
This is the first 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 - crossed modules of monoids relative to this class of spans - simplicial monoids of so-called Moore length 1 relative to this class of spans. The most important examples of monoids that are covered are small categories (treated as monoids in categories of spans) and bimonoids in symmetric monoidal categories (regarded as monoids in categories of comonoids). In this…
The notion of pseudocategory, as considered in [11], is extended from the context of a 2-category to the more general one of a sesquicategory, which is considered as a category equipped with a 2-cell structure. Some particular examples of 2-cells arising form internal transformations in internal categories, conjugations in groups, derivations in crossed-modules or homotopies in abelian chain complexes are studied in this context, namely their behaviour as abstract 2-cells in a 2-cell structure. Issues such as naturality of a 2-cell structure are investigated. This article is intended as a prel…
In this paper, for given an algebraic theory $T$ whose category $C$ of models is semi-abelian, we consider the topological models of $T$ called topological $T$-algebras and obtain some results related to the fundamental groups of topological $T$-algebras. We also deal with the internal groupoid structure in the category of models providing that the fundamental groupoid deduces a functor from topological $T$-algebras to the internal groupoids in $C$ and prove a criterion for the lifting of such an internal groupoid structure to the covering groupoids.
Weak morphisms of non-abelian complexes of length 2, or crossed modules, are morphisms of the associated 2-group stacks, or gr-stacks. We present a full description of the weak morphisms in terms of diagrams we call butterflies. We give a complete description of the resulting bicategory of crossed modules, which we show is fibered and biequivalent to the 2-stack of 2-group stacks. As a consequence we obtain a complete characterization of the non-abelian derived category of complexes of length 2. Deligne's analogous theorem in the case of Picard stacks and abelian sheaves becomes an immediate c…
We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor-Moore theorem, where the field was assumed to have zero characteristic. Takeuchi's theorem asserting that the category of commutative and cocommutative Hopf algebras over a field is abelian immediately follows from this new observation. We also prove that the category of cocommutative Hopf algebras over a field is action representable. We make some new observations concerning the categorical commutator of normal Hopf subalgebr…
This is the last 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 - crossed modules of monoids relative to this class of spans - simplicial monoids of so-called Moore length 1 relative to this class of spans. The most important examples of monoids that are covered are small categories (treated as monoids in categories of spans) and bimonoids in symmetric monoidal categories (regarded as monoids in categories of comonoids). In this …
When $\mathbb C$ is a semi-abelian category, it is well known that the category $\mathsf{Grpd}(\mathbb C)$ of internal groupoids in $\mathbb C$ is again semi-abelian. The problem of determining whether the same kind of phenomenon occurs when the property of being semi-abelian is replaced by the one of being action representable (in the sense of Borceux, Janelidze and Kelly) turns out to be rather subtle. In the present article we give a sufficient condition for this to be true: in fact we prove that the category $\mathsf{Grpd}(\mathbb C)$ is a semi-abelian action representable algebraically co…
Basing ourselves on Janelidze and Kelly's general notion of central extension, we study universal central extensions in the context of semi-abelian categories. Thus we unify classical, recent and new results in one conceptual framework. The theory we develop is relative to a chosen Birkhoff subcategory of the category considered: for instance, we consider groups vs. abelian groups, Lie algebras vs. vector spaces, precrossed modules vs. crossed modules and Leibniz algebras vs. Lie algebras. We consider a fundamental condition on composition of central extensions and give examples of categories …
