scientific article; zbMATH DE number 1477087
The author continues his study of protomodular categories, which are categories equipped with structure that makes them resemble the category of groups in some way; in particular, they permit one to define a notion of `normal subobject' which plays the rôle that normal subgroups do in group theory (a monomorphism \(X\to Y\) is normal if there exists an equivalence relation \(R\) on \(Y\) such that \(X\) is `identified with a single \(R\)-equivalence class'). In the present paper, he observes that an important rôle in the theory is played by functors between such categories which preserve finite limits and reflect isomorphisms and normality of subobjects; he calls these normal functors. He defines a category to be strongly protomodular if the change of base functors for its fibration of pointed objects are (not only conservative -- that is the definition of protomodularity -- but) normal. Not every protomodular category is strongly protomodular: an exception is the category whose objects are sets equipped with two group structures sharing a common identity element. But many familiar examples of protomodular categories are strongly so, and the author gives some examples of the effect that this condition has on their structure.
- Mal'cev conditions revisited
- Normal subobjects and abelian objects in protomodular categories
- Protomodular aspect of the dual of a topos
- A characterisation of Lie algebras amongst anti-commutative algebras
- A note on the distributivity of the Huq commutator over finite joins
- On stability of exactness properties under the pro-completion
- Peri-abelian categories and the universal central extension condition
- Fibered aspects of Yoneda's regular span
- Complete objects in categories
- Centrality and normality in protomodular categories
- A torsion theory in the category of cocommutative Hopf algebras
- Monoids and pointed \(S\)-protomodular categories
- A note on strong protomodularity, actions and quotients
- scientific article; zbMATH DE number 423517 (Why is no real title available?)
- scientific article; zbMATH DE number 2125655 (Why is no real title available?)
- Commutators for near-rings: Huq \({\neq}\) Smith
- scientific article; zbMATH DE number 62704 (Why is no real title available?)
- scientific article; zbMATH DE number 2068086 (Why is no real title available?)
- On the normality of Higgins commutators
- Compatible actions of Lie algebras
- scientific article; zbMATH DE number 7376292 (Why is no real title available?)
- Algebraic exponentiation for Lie algebras
- A note on images of cover relations
- Non-pointed abelian categories
- scientific article; zbMATH DE number 7561616 (Why is no real title available?)
- On the ``Smith is Huq condition in \(S\)-protomodular categories
- Mal'tsev and Lawvere functors
- scientific article; zbMATH DE number 2203364 (Why is no real title available?)
- A multiplicative normal functor is a power functor
- Aspects of the category SKB of skew braces
- \(3\times 3\) lemma and protomodularity
- scientific article; zbMATH DE number 7823992 (Why is no real title available?)
- Normalizers in the non-pointed context
- Skew braces, near-rings, skew rings, dirings
- Hopf braces and semi-abelian categories
- On the category of Hopf braces
- Coalgebraic models of -groups
- Directions for the long exact cohomology sequence in Moore categories
- Baer sums in homological categories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490684)
