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

Categorical methods in general topology (54B30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20)

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