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

zbMATH Keywords

monadquantalecontinuous t-normbounded \(\mathsf{Q} \)-semifilterbounded saturated prefilterconical \(\mathsf{Q} \)-semifiltersaturated prefilter

Mathematics Subject Classification ID

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

Abstract: This paper considers some extensions of the notion of filter to the quantale-valued context, including saturated prefilter, $op$-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.

Recommendations

• On saturated prefilter monads
• The \(\top\)-filter monad and its applications
• Monadic convergence structures revisited
• scientific article; zbMATH DE number 2125656
• Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras

Cites work

• scientific article; zbMATH DE number 3724515 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 65667 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 510322 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1021635 (Why is no real title available?)
• scientific article; zbMATH DE number 1498617 (Why is no real title available?)
• scientific article; zbMATH DE number 2156365 (Why is no real title available?)
• scientific article; zbMATH DE number 5485647 (Why is no real title available?)
• Approaching metric domains
• Axiomatic foundations of fixed-basis fuzzy topology
• Characterization of \(L\)-topologies by \(L\)-valued neighborhoods
• Compact Hausdorff objects
• Completely distributive enriched categories are not always continuous
• Concept lattices and order in fuzzy logic
• Continuous Lattices and Domains
• Convergence in fuzzy topological spaces
• Filter Monads, Continuous Lattices and Closure Systems
• Fuzzy neighborhood spaces
• Fuzzy topological spaces with conical neighborhood systems
• Index analysis. Approach theory at work
• Kleisli monoids describing approach spaces
• Lax algebras via initial monad morphisms: APP, TOP, MET and ORD
• Liminf convergence in \(\Omega\)-categories
• Many valued topology and its applications
• Metamathematics of fuzzy logic
• Metric spaces, generalized logic, and closed categories
• Monads in topology
• Monoidal topology. A categorical approach to order, metric, and topology
• On stratified \(L\)-valued filters induced by \(\top\)-filters
• On the structure of semi-groups on a compact manifold with boundary
• Probabilistic topologies induced by \(L\)-fuzzy uniformities
• Properly injective spaces and function spaces
• Relational algebras
• Scott approach distance on metric spaces
• The \(\top\)-filter monad and its applications
• The general fuzzy filter approach to fuzzy topology. I
• Triangular norms

Cited in

(6)

• Frame-valued Scott open set monad and its algebras
• Identifying all preorders on the subdistribution monad
• The double contravariant powerset monad in the Goguen category of fuzzy sets
• The \(\top\)-filter monad and its applications
• On saturated prefilter monads
• scientific article; zbMATH DE number 3959427 (Why is no real title available?)

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)