The saturated prefilter monad

DOI10.1016/J.TOPOL.2020.107525MaRDI QIDQ820674zbMATH OpenOpenAlexFDO

Authors Hongliang Lai, Dexue Zhang, Gao Zhang

Publication date 27 September 2021

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2003.08610

bounded \(\mathsf{Q} \)-semifilter bounded saturated prefilter conical \(\mathsf{Q} \)-semifilter continuous t-norm monad quantale saturated prefilter

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categories of topological spaces and continuous mappings (18F60) Quantales (18F75) Categorical methods in general topology (54B30)

Abstract: This paper considers some extensions of the notion of filter to the quantale-valued context, including saturated prefilter,

o p

-filter and bounded saturated prefilter. The question is whether these constructions give rise to monads on the category of sets. It is shown that the answer depends on the structure of the quantale. Specifically, if the quantale is the unit interval equipped with a continuous t-norm, then 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.

Review text

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.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: The saturated prefilter monad

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820674)