Closedness Properties of Internal Relations I: a Unified Approach to Mal’tsev, Unital and Subtractive Categories
نویسنده
چکیده
We study closedness properties of internal relations in finitely complete categories, which leads to developing a unified approach to: Mal’tsev categories, in the sense of A.Carboni, J. Lambek and M.C.Pedicchio, that generalize Mal’tsev varieties of universal algebras; unital categories, in the sense of D.Bourn, that generalize pointed Jónsson-Tarski varieties; and subtractive categories, introduced by the author, that generalize pointed subtractive varieties in the sense of A.Ursini.
منابع مشابه
Closedness Properties of Internal Relations Ii: Bourn Localization
We say that a class D of categories is the Bourn localization of a class C of categories, and we write D = Loc(C), if D is the class of all (finitely complete) categories D such that for each object A in D, Pt(D ↓ A) ∈ C, where Pt(D ↓ A) denotes the category of all pointed objects in the comma-category (D ↓ A). As D.Bourn showed, if we take D to be the class of Mal’tsev categories in the sense ...
متن کاملClosedness Properties of Internal Relations Iv: Expressing Additivity of a Category via Subtractivity
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. We show that a subtractive variety C, whose theory contains a unique constant, is abelian (i.e. C is the variety of modules over a fixed ring), if and only if the dual category Cop of C, is subtractive. More ...
متن کاملA History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...
متن کاملBourn-normal Monomorphisms in Regular Mal’tsev Categories
Normal monomorphisms in the sense of Bourn describe the equivalence classes of an internal equivalence relation. Although the definition is given in the fairly general setting of a category with finite limits, later investigations on this subject often focus on protomodular settings, where normality becomes a property. This paper clarifies the connections between internal equivalence relations ...
متن کاملRelative Mal’tsev Categories
We define relative regular Mal’tsev categories and give an overview of conditions which are equivalent to the relative Mal’tsev axiom. These include conditions on relations as well as conditions on simplicial objects. We also give various examples and counterexamples.
متن کامل