S-protomodularity of the category of cocommutative bialgebras

DOI10.1142/S0219498823502523MaRDI QIDQ6087891zbMATH OpenOpenAlexFDO

Authors Florence Sterck

Publication date 16 November 2023

Published in Journal of Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2201.06520

zbMATH Keywords

cocommutative bialgebrascommutatorsprotomodularitysplit extensionssymmetric monoidal categories

Mathematics Subject Classification ID

Bialgebras (16T10) Protomodular categories, semi-abelian categories, Mal'tsev categories (18E13) Monoidal categories, symmetric monoidal categories (18M05)

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.

Recommendations

• On the ``Smith is Huq condition in \(S\)-protomodular categories
• Further remarks on the ``Smith is Huq condition
• On some categorical-algebraic conditions in S-protomodular categories
• Monoids and pointed \(S\)-protomodular categories
• Semi-abelian condition for color Hopf algebras

Cites work

• A note on split extensions of bialgebras
• A note on the ``Smith is Huq condition
• A semi-abelian extension of a theorem by Takeuchi
• Centrality and normality in protomodular categories
• COMMUTATOR, NILPOTENCY, AND SOLVABILITY IN CATEGORIES
• Hom-Lie Admissible Hom-Coalgebras and Hom-Hopf Algebras
• scientific article; zbMATH DE number 426299 (Why is no real title available?)
• scientific article; zbMATH DE number 19481 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 2118486 (Why is no real title available?)
• Limits of coalgebras, bialgebras and Hopf algebras.
• Monoidal Hom-Hopf algebras.
• Monoids and pointed \(S\)-protomodular categories
• On Categories of Monoids, Comonoids, and Bimonoids
• On epimorphisms and monomorphisms of Hopf algebras.
• On the ``Smith is Huq condition in \(S\)-protomodular categories
• Schreier split epimorphisms in monoids and in semirings
• Semidirect products and crossed modules in monoids with operations
• Split extensions and actions of bialgebras and Hopf algebras
• Split extensions and semidirect products of unitary magmas
• The \(3 \times 3\) lemma in the \(\Sigma\)-Mal'tsev and \(\Sigma\)-protomodular settings: applications to monoids and quandles

Cited in

(1)

• On some categorical-algebraic conditions in S-protomodular categories

This page was built for publication: S-protomodularity of the category of cocommutative bialgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6087891)