The saturated prefilter monad

DOI10.1016/J.TOPOL.2020.107525zbMATH Open1481.18005arXiv2003.08610OpenAlexW3112736836MaRDI QIDQ820674FDOQ820674

Authors: Hongliang Lai, Dexue Zhang, Gao Zhang 

Publication date: 27 September 2021

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

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.

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

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

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)

Cites Work

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

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
• Title not available (Why is that?)

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)