Article ID Journal Published Year Pages File Type
438272 Theoretical Computer Science 2007 25 Pages PDF
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