The saturated prefilter monad

DOI10.1016/j.topol.2020.107525zbMath1481.18005arXiv2003.08610OpenAlexW3112736836MaRDI QIDQ820674

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

continuous t-normmonadquantalebounded \(\mathsf{Q} \)-semifilterbounded saturated prefilterconical \(\mathsf{Q} \)-semifiltersaturated prefilter

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) 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)

Related Items

On saturated prefilter monads

Cites Work

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