Fundamental study: Complete and directed complete Ω-categories
Fundamental study: Complete and directed complete Ω-categories
复制标题
DOI：
10.1016/j.tcs.2007.09.012
复制
发表时间：
2007-12
影响因子：
1.1
通讯作者：
Hongliang Lai;Dexue Zhang
中科院分区：
文献类型：
--
作者：
Hongliang Lai;Dexue Zhang
设Ω是一个交换的有单位元的Quantale。完备和有向完备Ω-范畴是数量Domain理论的核心研究对象。本文在充实范畴的Φ-完备性理论的基础上，系统地研究了Ω-范畴的完备性和有向完备性。
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.