Loading...
Publication
On some categorical-algebraic conditions in S-protomodular categories
| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 312.63 KB | Adobe PDF |
Advisor(s)
Abstract(s)
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 &quot;absolute&quot; protomodular context and to obtain a hierarchy among S-protomodular categories.</jats:p>
Description
Keywords
S-protomodular categories monoids monoids with operations J´onsson-Tarski varieties algebraic cartesian closedness algebraic coherence
Citation
Martins-Ferreira, N., Montoli, A., & Sobral, M. (2017). On some categorical-algebraic conditions in S-protomodular categories. Logical Methods in Computer Science, 13. 10.23638/lmcs-13(3:18)2017
Publisher
Centre pour la Communication Scientifique Directe (CCSD)