Extending set functors to generalised metric spaces
From MaRDI portal
Publication:4625693
zbMath1408.18005arXiv1809.02229MaRDI QIDQ4625693
Jiří Velebil, Adriana Balan, Alexander Kurz
Publication date: 25 February 2019
Full work available at URL: https://arxiv.org/abs/1809.02229
coalgebradenotational semanticstype theorydomain theoryKan extensionsenriched category theorygeneralised metric spacesdensity presentation
Preorders, orders, domains and lattices (viewed as categories) (18B35) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (4)
Divergences on monads for relational program logics ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Hausdorff coalgebras ⋮ Metagories
Cites Work
- An introduction to quantaloid-enriched categories
- Relation lifting, a survey
- Elements of generalized ultrametric domain theory
- Probabilistic metric spaces as enriched categories
- Simulations in coalgebra
- Solving reflexive domain equations in a category of complete metric spaces
- On the categorical meaning of Hausdorff and Gromov distances. I.
- Structural induction and coinduction in a fibrational setting
- Continuity spaces: Reconciling domains and metric spaces
- Universal coalgebra: A theory of systems
- V-cat and V-graph
- Quantaloids, enriched categories and automata theory
- On finitary functors and their presentations
- Enriched logical connections
- Kan extensions in enriched category theory
- Relation lifting, with an application to the many-valued cover modality
- Monoidal Topology
- Equational presentations of functors and monads
- Finitary Functors: From Set to Preord and Poset
- Positive fragments of coalgebraic logics
- Constructive complete distributivity. I
- 'Hausdorff distance' via conical cocompletion
- The Category-Theoretic Solution of Recursive Domain Equations
- Temporal Structures
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
- Quantitative Algebraic Reasoning
- Continuous Lattices and Domains
- Quasivarieties and varieties of ordered algebras: regularity and exactness
- Relational algebras
- On the Logic of Generalised Metric Spaces
- Completely Distributive Complete Lattices
- Encyclopedia of Distances
- Optimal Transport
- Two applications of analytic functors
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Extending set functors to generalised metric spaces
