Closedness properties of internal relations. III: Pointed protomodular categories
type: Item
instance of: scholarly article
title: Closedness properties of internal relations. III: Pointed protomodular categories
zbMATH Open document ID: 1124.18002
author: Zurab Janelidze
published in: Applied Categorical Structures
publication date: 2007-08-27T00:00:00Z
review text: [For part I, see \textit{Z. Janelidze}, Theory Appl. Categ. 16, 236--261 (2006; Zbl 1104.18002), for part II, ibid. 16, 262--282 (2006; Zbl 1104.18003)]. A variety \(V\) is said to be classically ideal determined, if it satisfies the following term conditions: the algebraic theory \(Th[V]\) of \(V\) contains: a nullary term \(0\), binary terms \(d_1,\dots,d_m\) and an \((m+1)\)-ary term \(p\) such that the following identities are satisfied: \(d_1(x,x)=0,\dots, d_m(x,x)=0\), \(p(d_{1}(x,y),\dots,d_{m}(x,y),y)=x.\) A pointed variety of universal algebras is protomodular in the sense of D. Bourn, if and only if it is classically ideal determined in the sense of A. Ursini. In this paper the author proves a characterization theorem for pointed protomodular categories, which is a (pointed) categorical version of Ursini's characterization theorem for classically ideal determined varieties, involving classically \(0\)-regular algebras.
reviewed by: Dana Piciu
Mathematics Subject Classification ID: 18C99
Mathematics Subject Classification ID: 08B05
zbMATH DE Number: 5182938
zbMATH Keywords: protomodular category
zbMATH Keywords: classically ideal determined variety
zbMATH Keywords: closedness property of a relation
MaRDI profile type: MaRDI publication profile
full work available at URL: s10485-007-9072-9
OpenAlex ID: W2030371154
cites work: Q4022820
cites work: Q4827951
cites work: Q3978968
cites work: Mal'cev categories and fibration of pointed objects
cites work: Intrinsic centrality and associated classifying properties
cites work: Q4385499
cites work: Q4707050
cites work: Diagram chasing in Mal'cev categories
cites work: Q3137145
cites work: Semi-abelian categories
cites work: Subtractive categories
cites work: Q3411946
cites work: Q3411947
cites work: Q5181407
cites work: On subtractive varieties. I
DOI: 10.1007/S10485-007-9072-9
description: scientific article; zbMATH DE number 5182938