On lax protomodularity for Ord-enriched categories

Clementino, Maria Manuel; Montoli, Andrea; Rodelo, Diana

http://hdl.handle.net/10400.1/19333

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
1-s2.0-S0022404923000312-main.pdf		454.49 KB	Adobe PDF	Download

Send Feedback

Authors

Clementino, Maria Manuel

Montoli, Andrea

Rodelo, Diana

Abstract(s)

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/).