|
|||||
|
|
| 范畴Ω-Cat的完备性 | |
| 作者姓名： | 耿俊 汤建钢 聂晓艳 |
| 作者单位： | 1. 喀什师范学院数学系,新疆喀什,844006 2. 伊犁师范学院数学与统计学院,新疆伊宁,835000 |
| 基金项目： | 国家自然科学基金资助项目，新疆维吾尔自治区自然科学基金资助项目 |
| 摘 要： | Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明了范畴Ω-Cat是完备范畴。 |
| 关 键 词： | Ω-范畴 等值子 Ω-值乘积 完备范畴 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |