cartesian closed category
·2,447,543篇论文数据，部分数据来源于NoteExpress
笛卡儿闭范畴，在范畴论中，如果任何积的态射都可通过其某个因子的态射来自然确定，那么称该范畴具有笛卡儿闭性．此类范畴在数理逻辑和程序设计理论中尤为重要。
详细内容
应用推荐
模块上移
模块下移
不移动