Complete and directed complete Omega-categories

Complete and directed complete Omega-categories
复制标题

完整且定向的完整 Omega 类别

DOI:
--
复制
发表时间:
2007
影响因子:
1.1
通讯作者:
Zhang, Dexue
Zhang, Dexue
中科院分区:
计算机科学4区
文献类型:
--
作者:
Lai, Hongliang;Zhang, Dexue

文献摘要

参考文献

相似文献

设Ω是一个可交换的单位量子量。完全和定向完全Ω -范畴是定量领域理论的核心对象。本文以Φ-completeness理论为基础,对com进行了系统的研究
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 com
DOI: --
发表时间: 1995-09
影响因子: 5.4
作者:
M. Bonsangue;F. V. Breugel;J. Rutten
通讯作者: M. Bonsangue;F. V. Breugel;J. Rutten
DOI: --
发表时间: 2003-09
期刊: arXiv: Category Theory
影响因子: --
作者:
V. Schmitt
通讯作者: V. Schmitt
DOI: 10.1016/j.apal.2003.01.001
发表时间: 2004-08
期刊: Ann. Pure Appl. Log.
影响因子: --
作者:
R. Belohlávek
通讯作者: R. Belohlávek
DOI: 10.1007/978-94-011-5300-3
发表时间: 1998-08
期刊: --
影响因子: --
作者:
P. Hájek
通讯作者: P. Hájek
DOI: 10.1112/jlms/49.2.385
发表时间: 1994-04
影响因子: 1.2
作者:
M. Smyth
通讯作者: M. Smyth