Handbook of logic in computer science (vol. 3)
Elements of generalized ultrametric domain theory
Theoretical Computer Science
Continuity spaces: reconciling domains and metric spaces
MFPS '94 Proceedings of the tenth conference on Mathematical foundations of programming semantics
Generalized metric spaces: completion, topology, and power domains via the Yoneda embedding
Theoretical Computer Science
The essence of ideal completion in quantitative form
Theoretical Computer Science
Fundamental study: Complete and directed complete Ω-categories
Theoretical Computer Science
On Domain Theory over Girard Quantales
Fundamenta Informaticae
Continuity in quantitative domains
Fuzzy Sets and Systems
The formal ball model for -categories
Mathematical Structures in Computer Science
| Hi-index | 0.00 |
We prove that the category of -cocomplete separated -categories has bilimits of expanding sequences. This result generalises on various levels the well-known theorem of domain theory that guarantees the existence of bilimits in the category of directed-complete posets and Scott-continuous maps.