The formal ball model for -categories (Q3081322): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701012
@@ Property / cites work: Q5701012 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric, topology and multicategory -- a common approach
+Normal rank
@@ Property / cites work @@
+Weighted colimits and formal balls in generalized metric spaces
+Normal rank
@@ Property / cites work @@
+Topological features of Lax algebras
@@ Property / cites work: Topological features of Lax algebras / 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 @@
+Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
+Normal rank
@@ Property / cites work @@
+Solving reflexive domain equations in a category of complete metric spaces
+Normal rank
@@ Property / cites work @@
+A quantitative computational model for complete partial metric spaces via formal balls
+Normal rank
@@ Property / cites work @@
+The space of formal balls and models of quasi-metric spaces
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+The closure of a class of colimits
@@ Property / cites work: The closure of a class of colimits / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces and \(FS\)-domains
@@ Property / cites work: Metric spaces and \(FS\)-domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation on metric spaces via domain theory
@@ Property / cites work: Computation on metric spaces via domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Spaces of maximal points
@@ Property / cites work: Spaces of maximal points / rank @@
+Normal rank
@@ Property / cites work @@
+On the minimum monochromatic or multicolored subgraph partition problems
+Normal rank
@@ Property / cites work @@
+On the Yoneda completion of a quasi-metric space
@@ Property / cites work: On the Yoneda completion of a quasi-metric space / rank @@
+Normal rank
@@ Property / cites work @@
+The limit–colimit coincidence theorem for -categories
+Normal rank
@@ Property / cites work @@
+Monads for which structures are adjoint to units
@@ Property / cites work: Monads for which structures are adjoint to units / rank @@
+Normal rank
@@ Property / cites work @@
+Topological theories and closed objects
@@ Property / cites work: Topological theories and closed objects / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity spaces: Reconciling domains and metric spaces
+Normal rank
@@ Property / cites work @@
+Quantales and continuity spaces
@@ Property / cites work: Quantales and continuity spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory and differential calculus (functions of one variable)
+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 @@
+Dynamical systems, measures, and fractals via domain theory
+Normal rank
@@ Property / cites work @@
+Domain theory and integration
@@ Property / cites work: Domain theory and integration / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity in quantitative domains
@@ Property / cites work: Continuity in quantitative domains / rank @@
+Normal rank
@@ Property / cites work @@
+One setting for all: Metric, topology, uniformity, approach structure
+Normal rank