The formal ball model for Q-categories
From MaRDI portal
Recommendations
Cites work
- A computational model for metric spaces
- A quantitative computational model for complete partial metric spaces via formal balls
- Computation on metric spaces via domain theory
- Continuity in quantitative domains
- Continuity spaces: Reconciling domains and metric spaces
- Domain theory and differential calculus (functions of one variable)
- Domain theory and integration
- Dynamical systems, measures, and fractals via domain theory
- Elements of generalized ultrametric domain theory
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- scientific article; zbMATH DE number 783754 (Why is no real title available?)
- scientific article; zbMATH DE number 2222240 (Why is no real title available?)
- Metric spaces and FS-domains
- Metric spaces, generalized logic, and closed categories
- Metric, topology and multicategory -- a common approach
- Monads for which structures are adjoint to units
- On the minimum monochromatic or multicolored subgraph partition problems
- On the Yoneda completion of a quasi-metric space
- One setting for all: Metric, topology, uniformity, approach structure
- Quantales and continuity spaces
- Solving reflexive domain equations in a category of complete metric spaces
- Spaces of maximal points
- The closure of a class of colimits
- The limit–colimit coincidence theorem for -categories
- The space of formal balls and models of quasi-metric spaces
- Topological features of Lax algebras
- Topological theories and closed objects
- Weighted colimits and formal balls in generalized metric spaces
Cited in
(23)- Yoneda completion via a dcpo completion of its poset of formal balls
- Scott approach distance on metric spaces
- The monad on strong quasi-metric spaces
- Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions
- Quasi-continuous Yoneda complete quasi-metric space
- Formal ball monads
- Yoneda completeness and flat completeness of ordered fuzzy sets
- Quantale-valued preorders: globalization and cocompleteness.
- The space of formal balls and models of quasi-metric spaces
- A quantitative computational model for complete partial metric spaces via formal balls
- Approaching metric domains
- A duality of quantale-enriched categories
- A few notes on formal balls
- Yoneda completeness
- Formal balls in fuzzy quasi-metric spaces
- Completely distributive enriched categories are not always continuous
- Formal balls of Q-categories
- On presheaf submonads of quantale-enriched categories
- Local Yoneda completions of quasi-metric spaces
- A duality of generalized metric spaces
- On function spaces related to quasi-metric spaces. I
- Notes on Smyth-completes and local Yoneda-completes
- Distance domains: continuity
This page was built for publication: The formal ball model for \(\mathcal Q\)-categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3081322)
