We study the categorical-algebraic properties of the semi-abelian variety ℓGrp of lattice-ordered groups. In particular, we show that this category is fiber-wise algebraically cartesian closed, arithmetical, and strongly protomodular. Moreover, we observe that ℓGrp is not action accessible, despite the good behaviour of centralizers of internal equivalence relations. Finally, we restrict our attention to the subvariety ℓAb of lattice-ordered abelian groups, showing that it is algebraically coherent; this provides an example of an algebraically coherent category which is not action accessible.
Categorical-Algebraic Properties of Lattice-ordered Groups / A. Cappelletti. - In: THEORY AND APPLICATIONS OF CATEGORIES. - ISSN 1201-561X. - 39:(2023), pp. 31.916-31.948.
Categorical-Algebraic Properties of Lattice-ordered Groups
A. Cappelletti
2023
Abstract
We study the categorical-algebraic properties of the semi-abelian variety ℓGrp of lattice-ordered groups. In particular, we show that this category is fiber-wise algebraically cartesian closed, arithmetical, and strongly protomodular. Moreover, we observe that ℓGrp is not action accessible, despite the good behaviour of centralizers of internal equivalence relations. Finally, we restrict our attention to the subvariety ℓAb of lattice-ordered abelian groups, showing that it is algebraically coherent; this provides an example of an algebraically coherent category which is not action accessible.File | Dimensione | Formato | |
---|---|---|---|
Categorical-Algebraic Properties of Lattice-ordered Groups.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
484.84 kB
Formato
Adobe PDF
|
484.84 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.