On closure operators, reflections and protolocalisations in Goursat categories
نویسندگان
چکیده
By defining a closure operator on effective equivalence relations in a regular category C, it is possible to establish a bijective correspondence between these closure operators and the regular epireflective subcategories of C, on the model of the closure operators on kernels in homological categories [5]. When C is an exact Goursat category [6], this correspondence restricts to a bijection between the Birkhoff closure operators on effective equivalence relations and the Birkhoff subcategories of C [2]. In this case it is possible to provide an explicit description of the closure, and this formula is used to describe the closure determined by the reflection of the category T(HComp) of compact Hausdorff Mal’cev algebras into its subcategory T(Profin) of profinite Mal’cev algebras. By using a result of Bourn [4], it is also possible to characterise the congruence distributive Goursat categories in terms of a property of the closure operator associated with any Birkhoff subcategory. In the second part of the talk we shall restrict our attention to the so-called “protolocalisations” [1]. In particular, we shall present a new characterisation of epireflective protolocalisations of an exact Mal’cev category, and give some examples [3].
منابع مشابه
PROTOLOCALISATIONS OF EXACT MAL’CEV CATEGORIES To Walter Tholen, on his sixtieth birthday
A protolocalisation of a regular category is a full reflective regular subcategory, whose reflection preserves pullbacks of regular epimorphisms along arbitrary morphisms. We devote special attention to the epireflective protolocalisations of an exact Mal’cev category; we characterise them in terms of a corresponding closure operator on equivalence relations. We give some examples in algebra an...
متن کاملFrom torsion theories to closure operators and factorization systems
Torsion theories are here extended to categories equipped with an ideal of 'null morphisms', or equivalently a full subcategory of 'null objects'. Instances of this extension include closure operators viewed as generalised torsion theories in a 'category of pairs', and factorization systems viewed as torsion theories in a category of morphisms. The first point has essentially been treated in [15].
متن کاملCategories of lattice-valued closure (interior) operators and Alexandroff L-fuzzy topologies
Galois connection in category theory play an important role inestablish the relationships between different spatial structures. Inthis paper, we prove that there exist many interesting Galoisconnections between the category of Alexandroff $L$-fuzzytopological spaces, the category of reflexive $L$-fuzzyapproximation spaces and the category of Alexandroff $L$-fuzzyinterior (closure) spaces. This ...
متن کاملM-FUZZIFYING MATROIDS INDUCED BY M-FUZZIFYING CLOSURE OPERATORS
In this paper, the notion of closure operators of matroids is generalized to fuzzy setting which is called $M$-fuzzifying closure operators, and some properties of $M$-fuzzifying closure operators are discussed. The $M$-fuzzifying matroid induced by an $M$-fuzzifying closure operator can induce an $M$-fuzzifying closure operator. Finally, the characterizations of $M$-fuzzifying acyclic matroi...
متن کاملA New Characterisation of Goursat Categories
We present a new characterisation of Goursat categories in terms of special kind of pushouts, that we call Goursat pushouts. This allows one to prove that, for a regular category, the Goursat property is actually equivalent to the validity of the denormalised 3-by-3 Lemma. Goursat pushouts are also useful to clarify, from a categorical perspective, the existence of the quaternary operations cha...
متن کامل