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.
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)