Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
438272 | Theoretical Computer Science | 2007 | 25 Pages |
Abstract
Let Ω be a commutative, unital quantale. Complete and directed complete Ω-categories are the core objects in Quantitative Domain Theory. This paper, based on the theory of Φ-completeness for enriched categories, presents a systematic investigation of completeness and directed completeness of Ω-categories.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics