Convergence and quantale-enriched categories

zbMath1407.18002arXiv1705.08671MaRDI QIDQ4553296

C. D. Reis, Dirk Hofmann

Publication date: 2 November 2018

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

zbMATH Keywords

metric spaceapproach spacesober spaceHausdorff spaceCauchy completenessquantale enriched categoryordered compact spaces

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Compact (locally compact) metric spaces (54E45) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Preorders, orders, domains and lattices (viewed as categories) (18B35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Probabilistic metric spaces (54E70) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items

Hausdorff coalgebras ⋮ Duality theory for enriched Priestley spaces

Cites Work

• An introduction to quantaloid-enriched categories
• Approaching metric domains
• A duality of quantale-enriched categories
• Towards Stone duality for topological theories
• An algebraic description of regular epimorphisms in topology
• Elements of generalized ultrametric domain theory
• Probabilistic metric spaces as enriched categories
• Gefilterte Summation von Filtern und iterierte Grenzprozesse. I
• Gefilterte Summation von Filtern und iterierte Grenzprozesse. II
• Representable \((\mathbb{T},\mathbf{V})\)-categories
• Lawvere completion and separation via closure
• Lawvere completeness in topology
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Quantales and continuity spaces
• Liminf convergence in \(\Omega\)-categories
• Topological features of Lax algebras
• Representable multicategories
• Sober metric approach spaces
• The enriched Vietoris monad on representable spaces
• Topological theories and closed objects
• Ordered topological structures
• The rise and fall of \(V\)-functors
• Quantale-valued topological spaces via closure and convergence
• Sober approach spaces
• Regular convergence spaces
• Eine Bemerkung über Monaden und adjungierte Funktoren
• Moore-Smith convergence in general topology
• Duality for distributive space
• Monoidal Topology
• Stably compact spaces
• Quantales and (noncommutative) linear logic
• On Domain Theory over Girard Quantales
• Approach Spaces A Common Supercategory of TOP and MET
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Metric spaces, generalized logic, and closed categories
• Continuous Lattices and Domains
• Prime Ideal Structure in Commutative Rings
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Relational algebras
• Completely Distributive Complete Lattices
• Statistical Metrics
• Priestley's duality from Stone's
• From coherent structures to universal properties
• 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
• Unnamed Item
• Unnamed Item

This page was built for publication: Convergence and quantale-enriched categories