笛卡兒閉範疇

在範疇論中 ， 如果任何積的態射都可通過其某個因子的態射來自然確定 ， 那麼稱該範疇具有笛卡兒閉性 。 此類範疇在數理邏輯和程序設計理論中尤爲重要 。