Weighted colimits and formal balls in generalized metric spaces (Q1295210): Difference between revisions

@@ Property / author @@
-Jan J. M. M. Rutten
@@ Property / author: Jan J. M. M. Rutten / rank @@
-Normal rank
@@ Property / author @@
+Jan J. M. M. Rutten
@@ Property / author: Jan J. M. M. Rutten / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
+Normal rank
@@ Property / cites work @@
+A notion of limit for enriched categories
@@ Property / cites work: A notion of limit for enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+A computational model for metric spaces
@@ Property / cites work: A computational model for metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222888
@@ Property / cites work: Q4222888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3491793
@@ Property / cites work: Q3491793 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Q3792854
@@ Property / cites work: Q3792854 / rank @@
+Normal rank
@@ Property / cites work @@
+Spaces of maximal points
@@ Property / cites work: Spaces of maximal points / 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 @@
+Q3359391
@@ Property / cites work: Q3359391 / rank @@
+Normal rank
@@ Property / cites work @@
+Liminf convergence in \(\Omega\)-categories
@@ Property / cites work: Liminf convergence in \(\Omega\)-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding metric spaces into CPO's
@@ Property / cites work: Embedding metric spaces into CPO's / rank @@
+Normal rank