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

称满足下列三个条件的范畴 C 具有笛卡儿闭性：

• C 有终对象；
• C 有积: C 包含任意对象 X 、Y 的积 X×Y ；
• C 有幂: C 包含任意对象 Y 、Z 的幂 Z 。

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.