Publication
On lax protomodularity for Ord-enriched categories
dc.contributor.author | Clementino, Maria Manuel | |
dc.contributor.author | Montoli, Andrea | |
dc.contributor.author | Rodelo, Diana | |
dc.date.accessioned | 2023-03-28T12:10:01Z | |
dc.date.available | 2023-03-28T12:10:01Z | |
dc.date.issued | 2023 | |
dc.description.abstract | Our main focus concerns a possible lax version of the algebraic property of protomodularity for Ord -enriched categories. Having in mind the role of comma objects in the enriched context, we consider some of the characteristic properties of protomodularity with respect to comma objects instead of pullbacks. We show that the equivalence between protomodularity and certain properties on pullbacks also holds when replacing conveniently pullbacks by comma objects in any finitely complete category enriched in Ord, and propose to call lax protomodular such Ord -enriched categories. We conclude by studying this sort of lax protomodularity for the category OrdAb of preordered abelian groups, equipped with a suitable Ord -enrichment, and show that OrdAb fulfills the equivalent lax protomodular properties with respect to the weaker notion of precomma object; we call such categories lax preprotomodular. (c) 2023 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (http:// creativecommons .org /licenses /by -nc -nd /4 .0/). | pt_PT |
dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
dc.identifier.doi | 10.1016/j.jpaa.2023.107348 | pt_PT |
dc.identifier.issn | 0022-4049 | |
dc.identifier.uri | http://hdl.handle.net/10400.1/19333 | |
dc.language.iso | eng | pt_PT |
dc.peerreviewed | yes | pt_PT |
dc.publisher | Elsevier | pt_PT |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | pt_PT |
dc.subject | Preordered abelian groups | pt_PT |
dc.subject | Protomodular categories | pt_PT |
dc.subject | Of preorders | pt_PT |
dc.subject | Categories enriched in the category | pt_PT |
dc.title | On lax protomodularity for Ord-enriched categories | pt_PT |
dc.type | journal article | |
dspace.entity.type | Publication | |
oaire.citation.issue | 8 | pt_PT |
oaire.citation.startPage | 107348 | pt_PT |
oaire.citation.title | Journal of Pure and Applied Algebra | pt_PT |
oaire.citation.volume | 227 | pt_PT |
person.familyName | Rodelo | |
person.givenName | Diana | |
person.identifier.ciencia-id | 6C16-FCF9-64A0 | |
person.identifier.orcid | 0000-0002-4816-3234 | |
person.identifier.rid | AFH-8267-2022 | |
person.identifier.scopus-author-id | 8216708900 | |
rcaap.rights | openAccess | pt_PT |
rcaap.type | article | pt_PT |
relation.isAuthorOfPublication | 311bbe08-1f8a-4c84-87e7-23ddd55c89a3 | |
relation.isAuthorOfPublication.latestForDiscovery | 311bbe08-1f8a-4c84-87e7-23ddd55c89a3 |