A characterization of descent morphism in the category of Priestley spaces, as well as necessary and sufficient conditions for such morphisms to be effective are given. For that this category is embedded in suitable categories of preordered topological spaces where descent and effective morphisms are described using the monadic description of descent.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados