笛卡儿闭范畴
在范畴论中，如果任何积的态射都可通过其某个因子的态射来自然确定，那幺称该范畴具有笛卡儿闭性。此类范畴在数理逻辑和进程设计理论中尤为重要。
称满足下列三个条件的范畴 C 具有笛卡儿闭性：
- C 有终对象；
- C 有积: C 包含任意对象 X 、Y 的积 X×Y ；
- C 有幂: C 包含任意对象 Y 、Z 的幂 Z 。
| 单词 | Cartesian closed category |
| 释义 |
Cartesian closed category
中文百科
笛卡儿闭范畴在范畴论中，如果任何积的态射都可通过其某个因子的态射来自然确定，那幺称该范畴具有笛卡儿闭性。此类范畴在数理逻辑和进程设计理论中尤为重要。 称满足下列三个条件的范畴 C 具有笛卡儿闭性：
英语百科
Cartesian closed category 笛卡儿闭范畴In category theory, a category is considered Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in mathematical logic and the theory of programming, in that their internal language is the simply typed lambda calculus. They are generalized by closed monoidal categories, whose internal language, linear type systems, are suitable for both quantum and classical computation. |
| 随便看 |
|
英汉双解词典包含3607232条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。