论文标题
同居性双子的类别的s-峰值
S-protomodularity of the category of cocommutative bialgebras
论文作者
论文摘要
我们证明，相对于特定的共同交互性双gebras的特定类别的分裂扩展，在任何对称单体类别（具有均衡器）中（具有均衡器）中的共同公约类别类别。我们还获得``部分''众所周知的史密斯是Huq条件，这意味着在与Huq的意义上相关联的正常子对象一旦与它们相关联的正常子对象，两个S等价关系会相互集中。
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.
