Algebraic representation of continuous lattices via the open filter monad, revisited
General Topology
2019-12-30 v1
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 spaces. The aim of this paper is to give a clean and clear version of the whole process of Day's approach.
Cite
@article{arxiv.1912.11988,
title = {Algebraic representation of continuous lattices via the open filter monad, revisited},
author = {Wei Yao and Yueli Yue},
journal= {arXiv preprint arXiv:1912.11988},
year = {2019}
}