Monthly Archives: September 2022

Algebras of filter-related monads: II. KZ-monads

Alan Day and Oswald Wyler once proved that the algebras of the filter monad on the category Top0 of T0 topological spaces are exactly the continuous (complete) lattices. Martín Escardó later gave a very interesting proof of this fact, using a category-theoretic construction … Continue reading

Posted in Uncategorized | Comments Off on Algebras of filter-related monads: II. KZ-monads