Monads and Convergence
暂无分享,去创建一个
The paper investigates algebraical and topological structures from a common point of view. The main idea consists in weakening the axioms of an Eilenberg-Moore algebra such that they become natural conditions of a topological structure. By some of these conditions continuous lattices can be characterized.
[1] Werner Gähler. Grundstrukturen der Analysis II , 1977 .
[2] Marta Bunge. Coherent extensions and relational algebras , 1974 .
[3] Oswald Wyler. Algebraic theories of continuous lattices , 1981 .
[4] Alan Day. Filter monads, continuous lattices and closure systems , 1975 .