The saturated prefilter monad (Q820674): Difference between revisions

The filter monad on the category of sets plays a crucial role in topology and order theory. There exists a large number of works that are related to applications of the filter monad in topology and order theory, some of its applications are: \begin{itemize} \item the continuous Scott domains are the algebras of the proper filter monad; \item the multiplication of the filter monad helps us to express iterative limits in topology; \item the Eilenberg-Moore algebras of the filter monad are the continuous lattices and hence the injective \(T_0\) spaces; \item the Eilenberg-Moore algebras of the ultrafilter monad are the compact Hausdorff spaces; \item the categories of algebras arising from a monad seem to be the most natural generalization of Birkhoff's equational classes. \end{itemize} The authors of this paper provide some interesting extensions of the notion of filter to the quantale-valued context, including saturated prefilter, \(\top\)-filter and bounded saturated prefilter, and they show that when the quantale is the unit interval equipped with a continuous t-norm, these constructions give rise to monads if and only if the implication operator corresponding to that t-norm is continuous at each point off the diagonal.