A new Galois structure in the category of internal preorders

Alberto Facchini, Carmelo Finocchiaro and Marino Gran

Let PreOrd(C) be the category of internal preorders in an exact category C. We show that the pair (Eq(C),ParOrd(C)) is a pretorsion theory in PreOrd(C), where Eq(C) and ParOrd(C) are the full subcategories of internal equivalence relations and of internal partial orders in C, respectively. We observe that ParOrd(C) is a reflective subcategory of PreOrd(C) such that each component of the unit of the adjunction is a pullback-stable regular epimorphism. The reflector F: PreOrd(C) -> PardOrd(C) turns out to have stable units in the sense of Cassidy, Hébert and Kelly, thus inducing an admissible categorical Galois structure. In particular, when C is the category Set of sets, we show that this reflection induces a monotone-light factorization system (in the sense of Carboni, Janelidze, Kelly and Paré) in PreOrd(Set). A topological interpretation of our results in the category of Alexandroff-discrete spaces is also given, via the well-known isomorphism between this latter category and PreOrd(Set).

Keywords: Internal preorders, partial orders, Galois theory, monotone-light factorization system, Alexandroff-discrete spaces

2020 MSC: 18E50, 18A32, 18B35, 18E40, 06A15

Theory and Applications of Categories, Vol. 35, 2020, No. 11, pp 326-349.

Published 2020-03-05.

http://www.tac.mta.ca/tac/volumes/35/11/35-11.pdf

TAC Home