余交换双代数范畴的S-原模性
S-protomodularity of the category of cocommutative bialgebras
摘要：
证明了在任何对称幺半范畴（具有均衡器）中的余交换双代数范畴是关于余交换双代数的一类特殊分裂扩张的S-原模范畴.我们还得到了著名的“部分”Smithis Huq条件，即两个S-等价关系只要在Huq意义下交换，它们就相互集中.
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
