Manuela Sobral; Margarida Dias;
Descent for Priestley spaces
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 we embed this category in suitable categories of preordered topological spaces where descent and effective morphisms are described using the monadic description of descent.
Applied Categorical Structures