笛卡儿闭范畴，在范畴论中，如果任何积的态射都可通过其某个因子的态射来自然确定，那么称该范畴具有笛卡儿闭性．此类范畴在数理逻辑和程序设计理论中尤为重要。
笛卡儿闭范畴详细介绍
笛卡儿闭范畴，在范畴论中，如果任何积的态射都可通过其某个因子的态射来自然确定，那么称该范畴具有笛卡儿闭性．此类范畴在数理逻辑和程序设计理论中尤为重要。
笛卡儿闭范畴简介
在范畴论中，如果任何积的态射都可通过其某个因子的态射来自然确定，那么称该范畴具有笛卡儿闭性．此类范畴在数理逻辑和程序设计理论中尤为重要。
笛卡儿闭范畴定义
所有有限积均存在的范畴C称为笛卡儿闭范畴，若下列所有函子
(1)C→1，c→0
(2)C→C×C，c→<c,c>
(3)-×b:C→C，a→a×b
均选定右伴随函子，记为
(1)t←0。相当于选定C的终对象t。
(2)a×b←<a,b>。相当于对任意一对对象，选定C的积对象与到这对对象的投射。
(3)c←c
笛卡儿闭范畴例子
集范畴Set，c=hom(b,c)；
Cat，c为函子范畴C。
