Convergence and quantale-enriched categories (Q4553296): Difference between revisions

@@ label / en / label / en @@
+Convergence and quantale-enriched categories
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.CT
@@ Property / arXiv classification: math.CT / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08671
@@ Property / arXiv ID: 1705.08671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Sober approach spaces
@@ Property / cites work: Sober approach spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Relational algebras
@@ Property / cites work: Relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Moore-Smith convergence in general topology
@@ Property / cites work: Moore-Smith convergence in general topology / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
+Normal rank
@@ Property / cites work @@
+Q5782187
@@ Property / cites work: Q5782187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3570970
@@ Property / cites work: Q3570970 / rank @@
+Normal rank
@@ Property / cites work @@
+Representable \((\mathbb{T},\mathbf{V})\)-categories
+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 @@
+The rise and fall of \(V\)-functors
@@ Property / cites work: The rise and fall of \(V\)-functors / rank @@
+Normal rank
@@ Property / cites work @@
+Regular convergence spaces
@@ Property / cites work: Regular convergence spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111635
@@ Property / cites work: Q4111635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3137152
@@ Property / cites work: Q3137152 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and continuity spaces
@@ Property / cites work: Quantales and continuity spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Priestley's duality from Stone's
@@ Property / cites work: Priestley's duality from Stone's / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Gefilterte Summation von Filtern und iterierte Grenzprozesse. I
+Normal rank
@@ Property / cites work @@
+Gefilterte Summation von Filtern und iterierte Grenzprozesse. II
+Normal rank
@@ Property / cites work @@
+Approaching metric domains
@@ Property / cites work: Approaching metric domains / rank @@
+Normal rank
@@ Property / cites work @@
+Representable multicategories
@@ Property / cites work: Representable multicategories / rank @@
+Normal rank
@@ Property / cites work @@
+From coherent structures to universal properties
@@ Property / cites work: From coherent structures to universal properties / rank @@
+Normal rank
@@ Property / cites work @@
+Prime Ideal Structure in Commutative Rings
@@ Property / cites work: Prime Ideal Structure in Commutative Rings / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic description of regular epimorphisms in topology
+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 @@
+The enriched Vietoris monad on representable spaces
+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 @@
+Towards Stone duality for topological theories
@@ Property / cites work: Towards Stone duality for topological theories / 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 @@
+A duality of quantale-enriched categories
@@ Property / cites work: A duality of quantale-enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711309
@@ Property / cites work: Q3711309 / 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 @@
+Quantale-valued topological spaces via closure and convergence
+Normal rank
@@ Property / cites work @@
+Stably compact spaces
@@ Property / cites work: Stably compact spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Sober metric approach spaces
@@ Property / cites work: Sober metric approach spaces / 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 @@
+Q4464696
@@ Property / cites work: Q4464696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579534
@@ Property / cites work: Q5579534 / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical Metrics
@@ Property / cites work: Statistical Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4459228
@@ Property / cites work: Q4459228 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Ordered Topological Spaces and the Representation of Distributive Lattices
+Normal rank
@@ Property / cites work @@
+Eine Bemerkung über Monaden und adjungierte Funktoren
+Normal rank
@@ Property / cites work @@
+Completely Distributive Complete Lattices
@@ Property / cites work: Completely Distributive Complete Lattices / rank @@
+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 @@
+Q3336431
@@ Property / cites work: Q3336431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821265
@@ Property / cites work: Q3821265 / 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 @@
+Ordered topological structures
@@ Property / cites work: Ordered topological structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701012
@@ Property / cites work: Q5701012 / 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 @@
+On Domain Theory over Girard Quantales
@@ Property / cites work: On Domain Theory over Girard Quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Q4464692
@@ Property / cites work: Q4464692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373444
@@ Property / cites work: Q4373444 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank