On some categorical-algebraic conditions in S-protomodular categories

DOI10.23638/LMCS-13(3:18)2017MaRDI QIDQ5367057zbMATH OpenFDO

Authors Nelson Martins-Ferreira, Andrea Montoli, Manuela Sobral

Publication date 12 October 2017

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

zbMATH Keywords

\(S\)-protomodular categoriesalgebraic cartesian closednessalgebraic coherenceJónsson-Tarski varietiesmonoidsmonoids with operations

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categorical algebra (18E99)

Abstract: In the context of protomodular categories, several additional conditions have been considered in order to obtain a closer group-like behavior. Among them are locally algebraic cartesian closedness and algebraic coherence. The recent notion of S-protomodular category, whose main examples are the category of monoids and, more generally, categories of monoids with operations and Jo'{o}nsson-Tarski varieties, raises a similar question: how to get a description of S-protomodular categories with a strong monoid-like behavior. In this paper we consider relative versions of the conditions mentioned above, in order to exhibit the parallelism with the "absolute" protomodular context and to obtain a hierarchy among S-protomodular categories.

Recommendations

• A new approach to \(\mathbf{S}\)-protomodular categories
• S-protomodularity of the category of cocommutative bialgebras
• scientific article; zbMATH DE number 5375460
• New exactness conditions involving split cubes in protomodular categories
• On the ``Smith is Huq condition in \(S\)-protomodular categories
• scientific article; zbMATH DE number 23538
• Monoids and pointed \(S\)-protomodular categories
• On the form of subobjects in semi-abelian and regular protomodular categories
• Associativity-like conditions on protomodular algebras
• scientific article; zbMATH DE number 2118486

Cited in

(7)

• The monads of classical algebra are seldom weakly Cartesian
• Algebraic logoi
• Monoids and pointed \(S\)-protomodular categories
• Algebraically coherent categories
• New exactness conditions involving split cubes in protomodular categories
• On the ``Smith is Huq condition in \(S\)-protomodular categories
• S-protomodularity of the category of cocommutative bialgebras

This page was built for publication: On some categorical-algebraic conditions in S-protomodular categories

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