It is well-known that a pointed variety is classically ideal determined (or “BIT speciale”) if and only if it satisfies the split short five lemma (i.e. if and only if it is a protomodular category in the sense of D. Bourn). A much weaker property than being classically ideal determined is “subtractivity”, defined as follows: a variety with a constant 0 is said to be subtractive if its theory contains a binary term s satisfying s(x,x) = 0 and s(x,0) = x. In the case of a pointed variety (i.e. when 0 is the unique constant), this condition can be reformulated purely categorically (as many other similar term conditions), which gives rise to the notion of a subtractive category. In the present paper we show that in a certain general categorical context subtractivity is equivalent to a special restriction of the split short five lemma to the class of clots, i.e. monomorphisms that are pullbacks of reflexive relations R→Y×Y along product injections (1 Y ,0): Y→Y×Y.

Janelidze, Z., & Ursini, A. (2011). Split Short Five Lemma for Clots and Subtractive Categories. APPLIED CATEGORICAL STRUCTURES, 19(1), 233-255 [10.1007/s10485-009-9192-5].

Split Short Five Lemma for Clots and Subtractive Categories

URSINI, ALDO
2011

Abstract

It is well-known that a pointed variety is classically ideal determined (or “BIT speciale”) if and only if it satisfies the split short five lemma (i.e. if and only if it is a protomodular category in the sense of D. Bourn). A much weaker property than being classically ideal determined is “subtractivity”, defined as follows: a variety with a constant 0 is said to be subtractive if its theory contains a binary term s satisfying s(x,x) = 0 and s(x,0) = x. In the case of a pointed variety (i.e. when 0 is the unique constant), this condition can be reformulated purely categorically (as many other similar term conditions), which gives rise to the notion of a subtractive category. In the present paper we show that in a certain general categorical context subtractivity is equivalent to a special restriction of the split short five lemma to the class of clots, i.e. monomorphisms that are pullbacks of reflexive relations R→Y×Y along product injections (1 Y ,0): Y→Y×Y.
File in questo prodotto:
File Dimensione Formato  
ssflcsc2.pdf

non disponibili

Tipologia: Pre-print
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 243.81 kB
Formato Adobe PDF
243.81 kB 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/25712
 Attenzione

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