Convergence and quantale-enriched categories
From MaRDI portal
Publication:4553296
metric spaceapproach spaceHausdorff spacesober spaceCauchy completenessquantale enriched categoryordered compact spaces
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)
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 -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.
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
Cites work
- scientific article; zbMATH DE number 426304 (Why is no real title available?)
- scientific article; zbMATH DE number 3870293 (Why is no real title available?)
- scientific article; zbMATH DE number 3940199 (Why is no real title available?)
- scientific article; zbMATH DE number 4094358 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3536176 (Why is no real title available?)
- scientific article; zbMATH DE number 1021635 (Why is no real title available?)
- scientific article; zbMATH DE number 1107520 (Why is no real title available?)
- scientific article; zbMATH DE number 2062331 (Why is no real title available?)
- scientific article; zbMATH DE number 2068083 (Why is no real title available?)
- scientific article; zbMATH DE number 2068087 (Why is no real title available?)
- scientific article; zbMATH DE number 2172008 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 896756 (Why is no real title available?)
- scientific article; zbMATH DE number 3296290 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- scientific article; zbMATH DE number 2222240 (Why is no real title available?)
- scientific article; zbMATH DE number 2236038 (Why is no real title available?)
- scientific article; zbMATH DE number 3042939 (Why is no real title available?)
- A duality of quantale-enriched categories
- A note on the probabilistic quasi-metric spaces
- An algebraic description of regular epimorphisms in topology
- An introduction to quantaloid-enriched categories
- Approach Spaces A Common Supercategory of TOP and MET
- Approaching metric domains
- Completely Distributive Complete Lattices
- Continuous Lattices and Domains
- Duality for distributive spaces
- Eine Bemerkung über Monaden und adjungierte Funktoren
- Elements of generalized ultrametric domain theory
- From coherent structures to universal properties
- Gefilterte Summation von Filtern und iterierte Grenzprozesse. I
- Gefilterte Summation von Filtern und iterierte Grenzprozesse. II
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Lawvere completeness in topology
- Lawvere completion and separation via closure
- Liminf convergence in \(\Omega\)-categories
- Metric spaces, generalized logic, and closed categories
- Monoidal topology. A categorical approach to order, metric, and topology
- Moore-Smith convergence in general topology
- On Domain Theory over Girard Quantales
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Ordered topological structures
- Priestley's duality from Stone's
- Prime Ideal Structure in Commutative Rings
- Probabilistic metric spaces as enriched categories
- Quantale-valued topological spaces via closure and convergence
- Quantales and (noncommutative) linear logic
- Quantales and continuity spaces
- Regular convergence spaces
- Relational algebras
- Representable \((\mathbb{T},\mathbf{V})\)-categories
- Representable multicategories
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Sober approach spaces
- Sober metric approach spaces
- Stably compact spaces
- Stably compact spaces and the probabilistic powerspace construction
- Statistical Metrics
- The enriched Vietoris monad on representable spaces
- The rise and fall of \(V\)-functors
- Topological features of Lax algebras
- Topological theories and closed objects
- Towards Stone duality for topological theories
Cited in
(11)- Enriched topologies and topological representation of semi-unital and semi-integral quantales
- Categorical foundations of topology with applications to quantaloid enriched topological spaces
- Approximation in quantale-enriched categories
- Compactly generated spaces and quasi-spaces in topology
- scientific article; zbMATH DE number 7645026 (Why is no real title available?)
- Representable \((\mathbb{T},\mathbf{V})\)-categories
- Quantale-enriched multicategories via actions
- The enriched Vietoris monad on representable spaces
- Hausdorff coalgebras
- Duality theory for enriched Priestley spaces
- Topology from enrichment: the curious case of partial metrics
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)
