Author:
KOSTANEK MATEUSZ,WASZKIEWICZ PAWEŁ
Abstract
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.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference30 articles.
1. Localic Completion of Generalized Metric Spaces I.;Vickers;Theory and Applications of Categories,2005
2. Continuity spaces: Reconciling domains and metric spaces
3. Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
4. Wagner K. R. (1994) Solving Recursive Domain Equations with Enriched Categories, Ph.D. Thesis, Carnegie Mellon University.
5. Solving reflexive domain equations in a category of complete metric spaces
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The formal ball model for -categories;Mathematical Structures in Computer Science;2010-12-02