在范畴论中，如果任何积的态射都可通过其某个因子的态射来自然确定，那么称该范畴具有笛卡儿闭性。此类范畴在数理逻辑和程序设计理论中尤为重要。
定义.称满足下列三个条件的范畴 "C" 具有笛卡儿闭性：