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 of A.Carboni, J. Lambek, and M.C.Pedicchio, and C to be the class of unital categories in the sense of D.Bourn, which generalize pointed Jónsson-Tarski varieties, then D = Loc(C). A similar result was obtained by the author: if D is as above and C is the class of subtractive categories, which generalize pointed subtractive varieties in the sense of A.Ursini, then D = Loc(C). In the present paper we extend these results to abstract classes of categories obtained from classes of varieties. We also show that the Bourn localization of the union of the classes of unital and subtractive categories is still the class of Mal’tsev categories.
منابع مشابه
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, intro...
متن کامل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 ...
متن کاملCentrality and Normality in Protomodular Categories
We analyse the classical property of centrality of equivalence relations in terms of normal monomorphisms. For this purpose, the internal structure of connector is introduced, allowing to clarify classical results in Maltsev categories and to prove new ones in protomodular categories. This approach allows to work in the general context of finitely complete categories, without requiring the usua...
متن کاملStrong Compactness and P-Closedness in Smooth L-Fuzzy Topological Spaces
In this work, we introduce definitions of smooth strong compactness and smooth P-closedness for arbitrary L-fuzzy sets in smooth Lfuzzy topological spaces and study some of their properties. We also investigate relations between these concepts and the other definitions of compactness in smooth L-fuzzy spaces. Mathematics Subject Clasification: 54A40
متن کاملF-Closedness in Bitopological Spaces
The purpose of this paper is to introduce the concept of pairwise F-closedness in bitopological spaces. This space contains both of pairwise strongcompactness and pairwise S-closedness and contained in pairwise quasi H-closedness. The characteristics and relationships concerning this new class of spaces with other corresponding types are established. Moreover, several of its basic and important...
متن کامل