Subtractive Categories and Extended Subtractions
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.
KeywordsMal’tsev category Unital category Strongly unital category Subtractive category Abelian objects Natural operations
Mathematics Subject Classifications (2000)18C99 18D35 18E05 08B05
Unable to display preview. Download preview PDF.
- 1.Bénabou, J.: Les distributeurs. Inst. de Math. Pure et Appl. Univ. Cath. Louvain la Neuve. Rapport 33 (1973)Google Scholar
- 5.Bourn, D., Janelidze, Z.: Approximate Mal’tsev operations. Theory Appl. Categ. 21(8), 152–171 (2008)Google Scholar
- 7.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)Google Scholar
- 12.Jónsson, B., Tarski, A.: Direct decompositions of finite algebraic systems. Notre Dame Mathematical Lectures 5, University of Notre Dame, Indiana (1947)Google Scholar
- 13.Mal’tsev, A.I.: On the general theory of algebraic systems. USSR Math. Sbornik N.S. 35, 3–20 (1954)Google Scholar