Closedness properties of internal relations. III: Pointed protomodular categories
[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.
scientific article; zbMATH DE number 5182938