| Autor: |
Nelson Martins-Ferreira, Andrea Montoli, Manuela Sobral |
| Jazyk: |
angličtina |
| Rok vydání: |
2017 |
| Předmět: |
|
| Zdroj: |
Logical Methods in Computer Science, Vol Volume 13, Issue 3 (2017) |
| Druh dokumentu: |
article |
| ISSN: |
1860-5974 |
| DOI: |
10.23638/LMCS-13(3:18)2017 |
| Popis: |
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. |
| Databáze: |
Directory of Open Access Journals |
| Externí odkaz: |
|
