基于开滤子单子的连续格代数表示（再探）
一般拓扑
2019-12-30 v1
摘要
在 [A. Day, Filter monads, continuous lattices and closure systems, Can. J. Math. 27 (1975) 50--59] 中，Day 证明了连续格恰好是 空间范畴上开滤子单子的代数。本文旨在给出 Day 方法的整个过程的清晰且明确的版本。
引用
@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}
}