Subtractive categories. (English) Zbl 1095.18002
The author gives a categorical characterization of pointed subtractive varieties in the sense of A. Ursini [Algebra Univers. 31, 204–222 (1994; Zbl 0799.08010)]. Then he shows that the resulting subtractive categories are useful in the theory of Mal’tsev categories.
Reviewer: Jiří Rosický (Brno)
MSC:
| 18C99 | Categories and theories |
| 18E05 | Preadditive, additive categories |
| 08B05 | Equational logic, Mal’tsev conditions |
Citations:
Zbl 0799.08010References:
| [1] | Abbott, J. C.: Implication algebras, Bull. Math. Soc. Sci. Math. R. S. Roumanie 11(59) (1967), 3–23. |
| [2] | Agliano, P. and Ursini, A.: On subtractive varieties II: General properties, Algebra Universalis 36 (1996), 222–259. · Zbl 0902.08010 · doi:10.1007/BF01234106 |
| [3] | Agliano, P. and Ursini, A.: On subtractive varieties III: From ideals to congruences, Algebra Universalis 37 (1997), 296–333. · Zbl 0906.08005 · doi:10.1007/s000120050020 |
| [4] | Agliano, P. and Ursini, A.: On subtractive varieties IV: Definability of principal ideals, Algebra Universalis 38 (1997), 355–389. · Zbl 0934.08002 · doi:10.1007/s000120050059 |
| [5] | Borceux, F. and Bourn, D.: Mal’cev, Protomodular, Homological and Semi-Abelian Categories, Math. Appl. 566, Kluwer, 2004. · Zbl 1061.18001 |
| [6] | Bourn, D.: Mal’cev categories and fibration of pointed objects, Appl. Categ. Structures 4 (1996), 307–327. · Zbl 0856.18004 · doi:10.1007/BF00122259 |
| [7] | Bourn, D.: Intrinsic centrality and associated classifying properties, J. Algebra 256 (2002), 126–145. · Zbl 1015.18003 · doi:10.1016/S0021-8693(02)00149-7 |
| [8] | Carboni, A., Lambek, J. and Pedicchio, M. C.: Diagram chasing in Mal’cev categories, J. Pure Appl. Algebra 69 (1990), 271–284. · Zbl 0722.18005 · doi:10.1016/0022-4049(91)90022-T |
| [9] | Carboni, A., Pedicchio, M. C. and Pirovano, N.: Internal graphs and internal groupoids in Mal’cev categories, CMS Conference Proceedings (Category Theory 1991) 13 (1992), 97–109. · Zbl 0791.18005 |
| [10] | Freyd, P. and Scedrov, A.: Categories, Allegories, North-Holland Math. Library 39, North-Holland, 1990. · Zbl 0698.18002 |
| [11] | Janelidze, G., Márki, L. and Tholen, W.: Semi-abelian categories, J. Pure Appl. Algebra 168 (2002), 367–386. · Zbl 0993.18008 · doi:10.1016/S0022-4049(01)00103-7 |
| [12] | Janelidze, Z.: Characterization of pointed varieties of universal algebras with normal projections, Theory Appl. Categ. 11(9) (2003), 212–214. · Zbl 1018.18001 |
| [13] | Janelidze, Z.: Varieties of universal algebras with normal local projections, Georgian Math. J. 11(1) (2004), 93–98. · Zbl 1052.18007 |
| [14] | Jónsson, B. and Tarski, A.: Direct Decompositions of Finite Algebraic Systems, Notre Dame Math. Lectures, Notre Dame, IN, 1947. · Zbl 0041.34501 |
| [15] | Smith, J. D. H.: Mal’cev Varieties, Lecture Notes in Math. 554, 1976. · Zbl 0344.08002 |
| [16] | Ursini, A.: On subtractive varieties, I, Algebra Universalis 31 (1994), 204–222. · Zbl 0799.08010 · doi:10.1007/BF01236518 |
| [17] | Ursini, A.: On subtractive varieties, V: Congruence modularity and the commutators, Algebra Universalis 43 (2000), 51–78. · Zbl 1012.08007 · doi:10.1007/s000120050145 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
