Abstract
We introduce a notion of an extended operation which should serve as a new tool for the study of categories like Mal’tsev, unital, strongly unital and subtractive categories. However, in the present paper we are only concerned with subtractive categories, and accordingly, most of the time we will deal with extended subtractions, which are particular instances of extended operations. We show that these extended subtractions provide new conceptual characterizations of subtractive categories and moreover, they give an enlarged “algebraic tool” for working in a subtractive category—we demonstrate this by using them to describe the construction of associated abelian objects in regular subtractive categories with finite colimits. Also, the definition and some basic properties of abelian objects in a general subtractive category is given for the first time in the present paper.
Similar content being viewed by others
References
Bénabou, J.: Les distributeurs. Inst. de Math. Pure et Appl. Univ. Cath. Louvain la Neuve. Rapport 33 (1973)
Bourn, D.: Mal’cev categories and fibration of pointed objects. Appl. Categ. Structures 4, 307–327 (1996)
Bourn, D.: Intrinsic centrality and associated classifying properties. J. Algebra 256, 126–145 (2002)
Bourn, D., Janelidze, G.: Characterization of protomodular varieties of universal algebras. Theory Appl. Categ. 11(6), 143–147 (2003)
Bourn, D., Janelidze, Z.: Approximate Mal’tsev operations. Theory Appl. Categ. 21(8), 152–171 (2008)
Carboni, A., Lambek, J., Pedicchio, M.C.: Diagram chasing in Mal’cev categories. J. Pure Appl. Algebra 69, 271–284 (1990)
Carboni, A., Pedicchio, M.C., Pirovano, N.: Internal graphs and internal groupoids in Mal’tsev categories. Canadian Mathematical Society Conference Proceedings 13, 97–109 (1992)
Janelidze, Z.: Subtractive categories. Appl. Categ. Structures 13(4), 343–350 (2005)
Janelidze, Z.: Closedness properties of internal relations I: a unified approach to Mal’tsev, unital and subtractive categories. Theory Appl. Categ. 16(12), 236–261 (2006)
Janelidze, Z.: Closedness properties of internal relations II: Bourn localization. Theory Appl. Categ. 16(13), 262–282 (2006)
Janelidze, Z.: Closedness properties of internal relations IV: expressing additivity of a category via subractivity. J. Homotopy Relat. Struct. 1(1), 219–227 (2006)
Jónsson, B., Tarski, A.: Direct decompositions of finite algebraic systems. Notre Dame Mathematical Lectures 5, University of Notre Dame, Indiana (1947)
Mal’tsev, A.I.: On the general theory of algebraic systems. USSR Math. Sbornik N.S. 35, 3–20 (1954)
Słomiński, J.: On the determining of the form of congruences in abstract algebras with equationally definable constant elements. Fund. Math. 48, 325–341 (1960)
Ursini, A.: On subtractive varieties, I. Algebra Universalis 31, 204–222 (1994)
Author information
Authors and Affiliations
Corresponding author
Additional information
The second author acknowledges the support of Claude Leon Foundation, INTAS (06-1000017-8609) and Georgian National Science Foundation (GNSF/ST06/3-004).
Rights and permissions
About this article
Cite this article
Bourn, D., Janelidze, Z. Subtractive Categories and Extended Subtractions. Appl Categor Struct 17, 317–343 (2009). https://doi.org/10.1007/s10485-008-9182-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-008-9182-z
Keywords
- Mal’tsev category
- Unital category
- Strongly unital category
- Subtractive category
- Abelian objects
- Natural operations