The authors clarify the role of Hofmann's Axiom in the old-style definition of a semi-abelian category. By removing this axiom they obtain the categorical counterpart of the notion of an ideal determined variety of universal algebras - which they therefore call an ideal determined category. Using known counter-examples from universal algebra they conclude that there are ideal determined categories which fail to be Mal'tsev. They also show that there are ideal determined Mal'tsev categories which fail to be semi-abelian.

Janelidze, G., Marki, L., Tholen, W., & Ursini, A. (2010). Ideal-determined categories. CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES, 51(2), 115-125.

Ideal-determined categories

URSINI, ALDO
2010

Abstract

The authors clarify the role of Hofmann's Axiom in the old-style definition of a semi-abelian category. By removing this axiom they obtain the categorical counterpart of the notion of an ideal determined variety of universal algebras - which they therefore call an ideal determined category. Using known counter-examples from universal algebra they conclude that there are ideal determined categories which fail to be Mal'tsev. They also show that there are ideal determined Mal'tsev categories which fail to be semi-abelian.
Janelidze, G., Marki, L., Tholen, W., & Ursini, A. (2010). Ideal-determined categories. CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES, 51(2), 115-125.
File in questo prodotto:
File Dimensione Formato  
Ursini1.pdf

non disponibili

Tipologia: Post-print
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 4.04 MB
Formato Adobe PDF
4.04 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11365/24607
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo