S -protomodularity of the category of cocommutative bialgebras

Florence Sterck
(2022) Journal of Algebra and its Applications — (2022)

Files

2ndProofcorrections_done_2350252.pdf
  • Open Access
  • Adobe PDF
  • 1.33 MB

Details

Authors
  • Florence SterckUCLouvain
    Author
Abstract
We prove that the category of cocommutative bialgebras in any locally presentable symmetric monoidal category 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 effective S-equivalence relations centralize each other as soon as the normal subobjects associated with them commute in the sense of Huq.
Affiliations

Citations

Florence Sterck. (2022). S -protomodularity of the category of cocommutative bialgebras. Journal of Algebra and its Applications. Accepted/in-press. https://doi.org/10.1142/S0219498823502523 (Original work published 2022)