Algebraic representation of continuous lattices via the open filter monad, revisited

2019/12/16 by Yao, Wei, Yue, Yueli
#FOS: Mathematics #General Topology (math.GN)

paper · doi:10.48550/arxiv.1912.11988

Abstract

In [A. Day, Filter monads, continuous lattices and closure systems, Can. J. Math. 27 (1975) 50--59], Day showed that continuous lattices are precisely the algebras of the open filter monad over the category of T₀ spaces. The aim of this paper is to give a clean and clear version of the whole process of Day's approach.

Related

• Algebraic representation of L-valued continuous lattices via the open filter monad
• Filter Monads, Continuous Lattices and Closure Systems
• The enriched Vietoris monad on representable spaces
• A pair of monads in Topology
• The saturated prefilter monad