An important aspect of group theory is the study of normal subgroups. A protomodular category, even one which is not pointed, is defined in such a way that it possesses an intrinsic notion of normal subobject. The concept is due to Dominique Bourn and as such sometimes referred to as Bourn-protomodularity.
(Taken from Bourn04)
Consider any finitely complete category $\mathcal{C}$ and denote by $Pt\mathcal{C}$ the category whose objects are the split epimorphisms in $\mathcal{C}$ with a given splitting and morphisms the commutative squares between these data. Denote by $\pi: Pt\mathcal{C} \to \mathcal{C}$ the functor associating its codomain to any split epimorphism. Since the category $\mathcal{C}$ has pullbacks, the functor $\pi$ is a fibration which is called the fibration of points.
Any map $f: X \to Y$ induces, by pullbacks, a base change functor denoted $f^{\ast}: Pt_Y \mathcal{C} \to Pt_X \mathcal{C}$ between the fibres above $Y$ and $X$.
Then a left exact category $\mathcal{C}$ is said to be protomodular when the fibration $\pi$ has conservative base change functors, i.e., ones that reflect isomorphisms. A protomodular category is necessarily Mal'cev.
Certain categories of varieties of algebras, such as the category of groups, the category of rings, the category of associative or Lie algebras over a given ring $A$, the category of Heyting algebras, the varieties of $\Omega$-groups. (It is shown in Bourn-Janelidze that a variety $V$ of universal algebras is protomodular if and only if it has $0$-ary terms $e_1, \ldots ,e_n$, binary terms $t_1,\ldots,t_n$, and $(n+1)$-ary term $t$ satisfying the identities $t(x, t_1(x, y),\ldots,t_n(x, y)) = y$ and $t_i(x, x) = e_i$ for each $i = 1,\ldots,n$.)
Categories of algebraic varieties as above internal to a left exact category, for example, TopGrp.
Constructions which inherit the property of being protomodular, such as the slice categories $\mathcal{C}/Z$ and the fibres $Pt_Z \mathcal{C}$ of the fibration $\pi$ of pointed objects for instance, or more generally the domain $\mathcal{C}$ of any pullback preserving and conservative functor $U : \mathcal{C} \to \mathcal{D}$; when its codomain $\mathcal{D}$ is protomodular.
The dual of a topos.
A pointed protomodular category is strongly unital, and
A category $\mathcal{C}$ is strongly protomodular when it is protomodular and is such that any change of base functor $f^{\ast}$ is a normal functor, that is, a left exact conservative functor which reflects the normal monomorphisms.
Grp, Ring and the dual of any topos are strongly protomodular.
Francis Borceux, Dominique Bourn, Mal'cev, protomodular, homological and semi-abelian categories, Mathematics and Its Applications 566, Kluwer 2004
Dominique Bourn, Protomodular aspect of the dual of a topos, Advances in Mathematics 187(1), pp. 240-255, 2004.
Dominique Bourn, Action groupoid in protomodular categories, TAC
Dominique Bourn, George Janelidze, Characterization of protomodular varieties of universal algebras, (TAC)
Last revised on February 21, 2019 at 08:39:08. See the history of this page for a list of all contributions to it.