Categorical foundations of topology with applications to quantaloid enriched topological spaces

DOI10.1016/j.fss.2013.03.010zbMath1339.54009OpenAlexW1972128771MaRDI QIDQ277343

Ulrich Höhle

Publication date: 29 April 2016

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2013.03.010

zbMATH Keywords

partial orderrelation\(C^{\ast}\)-algebratopological spacebicategory2-categoryBorel probability measuredouble presheaf monadKleisli compositionneighborhood systemordered monadpresheafquantaloidquantaloid-enriched categoryseparation axiomsubmonad

Mathematics Subject Classification ID

Related Items (9)

Basic concepts of quantale-enriched topologies ⋮ The double power monad is the composite power monad ⋮ Function spaces based on L-sets ⋮ Many valued topologies on L-sets ⋮ Unnamed Item ⋮ Value semigroups, value quantales, and positivity domains ⋮ Two types of Galois correspondences over quantaloid-typed sets ⋮ The \(\top\)-filter monad and its applications ⋮ Modules in the Category $$\mathtt {\mathbf{Sup}}$$

Cites Work

• Sheaves on involutive quantales: Grothendieck quantales.
• A non-commutative and non-idempotent theory of quantale sets
• Point-set lattice-theoretic topology
• A Kleisli-based approach to lax algebras
• Fuzzy topological spaces and fuzzy compactness
• On \(L\)-Tychonoff spaces
• Applications of localic separation axioms, compactness axioms, representations, and compactifications to poslat topological spaces
• Many valued topologies and lower semicontinuity
• Kleisli compositions for topological spaces
• Topology and measure
• Two decades of fuzzy topology: basic ideas, notions, and results
• An extension of the Galois theory of Grothendieck
• Quantales and C∗-Algebras
• Metric spaces, generalized logic, and closed categories
• Relational algebras
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categorical foundations of topology with applications to quantaloid enriched topological spaces