Filter Monads, Continuous Lattices and Closure Systems
Filter Monads, Continuous Lattices and Closure Systems
The notion of a monad (triple) has become increasingly important as an extension of the classical universal algebraic approach to “algebraic” categories. Indeed the categories of algebras arising from a monad seem to be the most natural generalization of Birkhoffs equational classes. Moreover in [2], Barr's concept of a relational …