Publication
On some categorical-algebraic conditions in S-protomodular categories
| dc.contributor.author | Martins-Ferreira, Nelson | |
| dc.contributor.author | Montoli, Andrea | |
| dc.contributor.author | Sobral, Manuela | |
| dc.date.accessioned | 2025-05-28T16:31:51Z | |
| dc.date.available | 2025-05-28T16:31:51Z | |
| dc.date.issued | 2017-09-01 | |
| dc.description.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 &quot;absolute&quot; protomodular context and to obtain a hierarchy among S-protomodular categories.</jats:p> | eng |
| dc.description.sponsorship | This work was partially supported by the Programma per Giovani Ricercatori \Rita Levi Montalcini", funded by the Italian government through MIUR. This work was partially supported by the Centre for Mathematics of the University of Coimbra - UID/MAT/00324/2013, and by the project CompositeSteering (18024), by ESTG and CDRSP from the Polytechnic of Leiria - UID/Multi/04044/2013. Both projects UID/MAT/00324/2013 and UID/Multi/04044/2013 are funded by the Portuguese Govern-ment through FCT/MCTES and co-funded by the European Regional Development Fund through the Partnership Agreement PT2020. | |
| dc.identifier.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 | |
| dc.identifier.doi | 10.23638/lmcs-13(3:18)2017 | |
| dc.identifier.issn | 1860-5974 | |
| dc.identifier.uri | http://hdl.handle.net/10400.8/13024 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.publisher | Centre pour la Communication Scientifique Directe (CCSD) | |
| dc.relation | Center for Mathematics, University of Coimbra | |
| dc.relation | Centre for Rapid and Sustainable Product Development | |
| dc.relation | UID/MAT/00324/2013 | |
| dc.relation | UID/Multi/04044/2013 | |
| dc.relation.ispartof | Logical Methods in Computer Science | |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | |
| dc.subject | S-protomodular categories | |
| dc.subject | monoids | |
| dc.subject | monoids with operations | |
| dc.subject | J´onsson-Tarski varieties | |
| dc.subject | algebraic cartesian closedness | |
| dc.subject | algebraic coherence | |
| dc.title | On some categorical-algebraic conditions in S-protomodular categories | eng |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | Center for Mathematics, University of Coimbra | |
| oaire.awardTitle | Centre for Rapid and Sustainable Product Development | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FMAT%2F00324%2F2013/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FMulti%2F04044%2F2013/PT | |
| oaire.citation.endPage | 13 | |
| oaire.citation.issue | 3 | |
| oaire.citation.startPage | 1 | |
| oaire.citation.title | Logical Methods in Computer Science | |
| oaire.citation.volume | 13 | |
| oaire.fundingStream | 6817 - DCRRNI ID | |
| oaire.fundingStream | 6817 - DCRRNI ID | |
| oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |
| person.familyName | Martins-Ferreira | |
| person.givenName | Nelson | |
| person.identifier | 485301 | |
| person.identifier.ciencia-id | B115-B65E-24AA | |
| person.identifier.orcid | 0000-0002-4199-7367 | |
| person.identifier.rid | N-1699-2013 | |
| person.identifier.scopus-author-id | 24598020700 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| relation.isAuthorOfPublication | 52406f6a-2c36-4e9a-9996-d3cc719d46bf | |
| relation.isAuthorOfPublication.latestForDiscovery | 52406f6a-2c36-4e9a-9996-d3cc719d46bf | |
| relation.isProjectOfPublication | b30d7802-d73a-400a-9dca-e837e0b3d33e | |
| relation.isProjectOfPublication | 9c625981-b187-4078-8cb2-d84b0d21a477 | |
| relation.isProjectOfPublication.latestForDiscovery | b30d7802-d73a-400a-9dca-e837e0b3d33e |