Descent for Priestley Spaces

• Author(s): Dias, Margarida ; Sobral, Manuela
• Date: 2005
• Persistent ID: http://hdl.handle.net/10316/11393
• Origin: Estudo Geral - Universidade de Coimbra
• Subject(s): Ordered (preordered) topological spaces; Priestley space; Stone space; Regular and universal regular epimorphisms; (ef ective) descent morphisms; Monadic categories
• Document Type: Preprint
• Language: English

Description

A characterization of descent morphism in the category of Priestley spaces, as well as necessary and su cient conditions for such morphisms to be e ective are given. For that we embed this category in suitable categories of preordered topological spaces were descent and e ective morphisms are described using the monadic description of descent. FCT/Centro de Matemática da Universidade de Coimbra