Approaching metric domains (Q395665): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2044384015
@@ Property / OpenAlex ID: W2044384015 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4744
@@ Property / arXiv ID: 1103.4744 / rank @@
+Normal rank
@@ Property / cites work @@
+Sober approach spaces
@@ Property / cites work: Sober approach spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered topological structures
@@ Property / cites work: Ordered topological structures / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
+Normal rank
@@ Property / cites work @@
+Topological features of Lax algebras
@@ Property / cites work: Topological features of Lax algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Lawvere completeness in topology
@@ Property / cites work: Lawvere completeness in topology / rank @@
+Normal rank
@@ Property / cites work @@
+Relative injectivity as cocompleteness for a class of distributors
+Normal rank
@@ Property / cites work @@
+Filter Monads, Continuous Lattices and Closure Systems
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4500949
@@ Property / cites work: Q4500949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844075
@@ Property / cites work: Q2844075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204652
@@ Property / cites work: Q3204652 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137152
@@ Property / cites work: Q3137152 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theories of compact pospaces
@@ Property / cites work: Algebraic theories of compact pospaces / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and continuity spaces
@@ Property / cites work: Quantales and continuity spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity spaces: Reconciling domains and metric spaces
+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 @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976461
@@ Property / cites work: Q3976461 / 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 @@
+Duality for distributive space
@@ Property / cites work: Duality for distributive space / rank @@
+Normal rank
@@ Property / cites work @@
+Injective spaces via adjunction
@@ Property / cites work: Injective spaces via adjunction / rank @@
+Normal rank
@@ Property / cites work @@
+Lawvere completion and separation via closure
@@ Property / cites work: Lawvere completion and separation via closure / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation in quantale-enriched categories
@@ Property / cites work: Approximation in quantale-enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844074
@@ Property / cites work: Q2844074 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4679165
@@ Property / cites work: Q4679165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711517
@@ Property / cites work: Q5711517 / rank @@
+Normal rank
@@ Property / cites work @@
+All Topologies Come From Generalized Metrics
@@ Property / cites work: All Topologies Come From Generalized Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+The formal ball model for -categories
@@ Property / cites work: The formal ball model for -categories / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Q3487612
@@ Property / cites work: Q3487612 / rank @@
+Normal rank
@@ Property / cites work @@
+Approach Spaces A Common Supercategory of TOP and MET
+Normal rank
@@ Property / cites work @@
+Q4340906
@@ Property / cites work: Q4340906 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579534
@@ Property / cites work: Q5579534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4277455
@@ Property / cites work: Q4277455 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248237
@@ Property / cites work: Q4248237 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted colimits and formal balls in generalized metric spaces
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701007
@@ Property / cites work: Q5701007 / rank @@
+Normal rank
@@ Property / cites work @@
+A couple of triples
@@ Property / cites work: A couple of triples / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411948
@@ Property / cites work: Q3411948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701012
@@ Property / cites work: Q5701012 / rank @@
+Normal rank
@@ Property / cites work @@
+On Domain Theory over Girard Quantales
@@ Property / cites work: On Domain Theory over Girard Quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theories for continuous semilattices
@@ Property / cites work: Algebraic theories for continuous semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Doctrines on 2-categories
@@ Property / cites work: Doctrines on 2-categories / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:395665