Extending set functors to generalised metric spaces (Q4625693): Difference between revisions

@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+On the categorical meaning of Hausdorff and Gromov distances. I.
+Normal rank
@@ Property / cites work @@
+On finitary functors and their presentations
@@ Property / cites work: On finitary functors and their presentations / rank @@
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+On the Logic of Generalised Metric Spaces
@@ Property / cites work: On the Logic of Generalised Metric Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary Functors: From Set to Preord and Poset
@@ Property / cites work: Finitary Functors: From Set to Preord and Poset / rank @@
+Normal rank
@@ Property / cites work @@
+Positive fragments of coalgebraic logics
@@ Property / cites work: Positive fragments of coalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5275341
@@ Property / cites work: Q5275341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4683862
@@ Property / cites work: Q4683862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348453
@@ Property / cites work: Q4348453 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebras
@@ Property / cites work: Relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3904750
@@ Property / cites work: Q3904750 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation lifting, with an application to the many-valued cover modality
+Normal rank
@@ Property / cites work @@
+Q3986541
@@ Property / cites work: Q3986541 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Structures
@@ Property / cites work: Temporal Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137150
@@ Property / cites work: Q3137150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4580204
@@ Property / cites work: Q4580204 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Encyclopedia of Distances
@@ Property / cites work: Encyclopedia of Distances / rank @@
+Normal rank
@@ Property / cites work @@
+Kan extensions in enriched category theory
@@ Property / cites work: Kan extensions in enriched category theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive complete distributivity. I
@@ Property / cites work: Constructive complete distributivity. I / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity spaces: Reconciling domains and metric spaces
+Normal rank
@@ Property / cites work @@
+Q3966761
@@ Property / cites work: Q3966761 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733390
@@ Property / cites work: Q4733390 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Two applications of analytic functors
@@ Property / cites work: Two applications of analytic functors / rank @@
+Normal rank
@@ Property / cites work @@
+Structural induction and coinduction in a fibrational setting
+Normal rank
@@ Property / cites work @@
+Probabilistic metric spaces as enriched categories
+Normal rank
@@ Property / cites work @@
+Monoidal Topology
@@ Property / cites work: Monoidal Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Simulations in coalgebra
@@ Property / cites work: Simulations in coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100657
@@ Property / cites work: Q4100657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2761575
@@ Property / cites work: Q2761575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched logical connections
@@ Property / cites work: Enriched logical connections / rank @@
+Normal rank
@@ Property / cites work @@
+Relation lifting, a survey
@@ Property / cites work: Relation lifting, a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Quasivarieties and varieties of ordered algebras: regularity and exactness
+Normal rank
@@ Property / cites work @@
+Q5541832
@@ Property / cites work: Q5541832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499306
@@ Property / cites work: Q4499306 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Algebraic Reasoning
@@ Property / cites work: Quantitative Algebraic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Completely Distributive Complete Lattices
@@ Property / cites work: Completely Distributive Complete Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Quantaloids, enriched categories and automata theory
+Normal rank
@@ Property / cites work @@
+Q4884543
@@ Property / cites work: Q4884543 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of generalized ultrametric domain theory
@@ Property / cites work: Elements of generalized ultrametric domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+'Hausdorff distance' via conical cocompletion
@@ Property / cites work: 'Hausdorff distance' via conical cocompletion / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to quantaloid-enriched categories
@@ Property / cites work: An introduction to quantaloid-enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4166879
@@ Property / cites work: Q4166879 / rank @@
+Normal rank
@@ Property / cites work @@
+On the foundations of final coalgebra semantics: non-well-founded  sets,  partial orders, metric spaces
+Normal rank
@@ Property / cites work @@
+Equational presentations of functors and monads
@@ Property / cites work: Equational presentations of functors and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q2883127
@@ Property / cites work: Q2883127 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Transport
@@ Property / cites work: Optimal Transport / rank @@
+Normal rank
@@ Property / cites work @@
+V-cat and V-graph
@@ Property / cites work: V-cat and V-graph / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499300
@@ Property / cites work: Q4499300 / rank @@
+Normal rank