Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity (Q2381415): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0610110 / rank | |||
Normal rank |
Latest revision as of 06:19, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity |
scientific article |
Statements
Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity (English)
0 references
17 September 2007
0 references
[For part I--III, see the preceding review.] A variety \(V\) of universal algebras is subtractive in the sense of \textit{A. Ursini} [Algebra Univers. 31, No.~2, 204--222 (1994; Zbl 0799.08010)], if the theory of \(V\) contains a binary term \(s\) (called a subtraction term) and a nullary term \(0,\) satisfying the identities \(s(x,0)=x\) and \(s(x,x)=0.\) The notion of a subtractive category, recently introduced by the author, is a categorical version of the notion of a (pointed) subtractive variety of universal algebras, due to A. Ursini. In this paper the author shows that a subtractive variety \({\mathcal C}\), whose theory contains a unique constant, is abelian (i.e., \({\mathcal C}\) is the variety of modules over a fixed ring), if and only if the dual category \({\mathcal C}^{\text{op}}\) of \({\mathcal C}\) is subtractive. More generally, he shows that \({\mathcal C}\) is additive if and only if both \({\mathcal C}\) and \({\mathcal C}^{\text{op}}\) are subtractive, where \({\mathcal C}\) is an arbitrary finitely complete pointed category, with binary sums, and such that each morphism \(f\) in \({\mathcal C}\) can be presented as a composite \(f=me,\) where \(m\) is a monomorphism and \(e\) is an epimorphism.
0 references
subtractive category
0 references
subtraction algebra
0 references
closedness property
0 references