S-protomodularity of the category of cocommutative bialgebras
Abstract
We prove that the category of cocommutative bialgebras in any symmetric monoidal category (that has equalizers) is an S-protomodular category with respect to a particular class of split extensions of cocommutative bialgebras. We also obtain the ``partial'' well-known Smith is Huq condition, meaning that two S-equivalence relations centralize each other as soon as the normal subobjects associated with them commute in the sense of Huq.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2022
- DOI:
- 10.48550/arXiv.2201.06520
- arXiv:
- arXiv:2201.06520
- Bibcode:
- 2022arXiv220106520F
- Keywords:
-
- Mathematics - Category Theory;
- 18E13;
- 16T10;
- 18M05
- E-Print:
- 20 pages