Convergence and quantale-enriched categories

zbMATH Open1407.18002arXiv1705.08671MaRDI QIDQ4553296FDOQ4553296

Authors: C. D. Reis, Dirk Hofmann 

Publication date: 2 November 2018

Abstract: Generalising Nachbin's theory of "topology and order", in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $mathcalV$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) codirected completeness of the underlying quantale enriched category.

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

Recommendations

• Categorical foundations of topology with applications to quantaloid enriched topological spaces
• Quantale-valued topological spaces via closure and convergence
• Basic concepts of quantale-enriched topologies
• Topology from enrichment: the curious case of partial metrics
• Topological categories, quantaloids and Isbell adjunctions

zbMATH Keywords

metric spaceapproach spaceHausdorff spacesober spaceCauchy completenessquantale enriched categoryordered compact spaces

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Categorical foundations of topology with applications to quantaloid enriched topological spaces
• Approximation in quantale-enriched categories
• Title not available (Why is that?)
• Hausdorff coalgebras
• Duality theory for enriched Priestley spaces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4553296)