Descent for Priestley spaces (Q2432583)

A preordered (ordered) topological space is a triple \((X,\tau ,\leq )\) where \(X\) is a set, \(\tau \) is a topology on \(X\) and \(\leq \) is a preorder (order) on \(X.\) An ordered space \((X,\tau ,\leq )\) is said to be totally order-disconnected if given \(x\nleqslant y\) in \(X\) there exists a clopen decreasing subset \(U\) of \(X\) (i.e. \(x\leq y\in U\) implies that \(x\in U)\) such that \(y\in U\) and \(x\notin U;\) the compact totally order-disconnected spaces are called the Pristley spaces. The main scope of this paper is to give a characterization of descent morphisms in the category of Pristley spaces, as well as necessary and sufficient condition for such morphisms to be effective. For that this category is embedded in suitable categories of preorderd topological spaces where descent and effective morphisms are described using the monadic description of descent.