Pseudogroupoids and commutators.
We develop a theory of split extensions of unitary magmas, which includes defining such extensions and describing them via suitably defined semidirect product, yielding an equivalence between the categories of split extensions and of (suitably defined) actions of unitary magmas on unitary magmas. The class of split extensions is pullback stable but not closed under composition. We introduce two subclasses of it that have both of these properties.
We describe the place, among other known categorical constructions, of the internal object actions involved in the categorical notion of semidirect product, and introduce a new notion of representable action providing a common categorical description for the automorphism group of a group, for the algebra of derivations of a Lie algebra, and for the actor of a crossed module.
Page 1