Categorical foundations of topology with applications to quantaloid enriched topological spaces

DOI10.1016/j.fss.2013.03.010zbMath1339.54009MaRDI 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 order; relation; \(C^{\ast}\)-algebra; topological space; bicategory; 2-category; Borel probability measure; double presheaf monad; Kleisli composition; neighborhood system; ordered monad; presheaf; quantaloid; quantaloid-enriched category; separation axiom; submonad

Mathematics Subject Classification ID

54B30: Categorical methods in general topology

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

06F07: Quantales

18D20: Enriched categories (over closed or monoidal categories)

Related Items

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

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