Filter Monads, Continuous Lattices and Closure Systems

Publisher Website
Google Scholar
Abstract
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 model of a monad also coincides nicely with both the concepts of partial algebras (when suitably restricted) and (Moore) closure systems.In this paper, we wish to examine two particular monads determined by filters. The first is the filter monad F = (F, η,

This publication has 0 references indexed in Scilit: