笛卡儿闭范畴
維基百科,自由的
encyclopedia
在
范畴论
中,如果任何
积
的
态射
都可通过其某个因子的态射来
自然确定
,那么称该范畴具有
笛卡儿闭
性。此类范畴在
数理逻辑
和
程序设计
理论中尤为重要。