笛卡兒閉範疇，在範疇論中，如果任何積的態射都可通過其某個因子的態射來自然確定，那么稱該範疇具有笛卡兒閉性．此類範疇在數理邏輯和程式設計理論中尤為重要。
基本介紹
- 中文名：笛卡兒閉範疇
- C ：有終對象
- C ：有積
- C ：有冪
定義,舉例,
定義
；
在範疇論中，如果任何積的態射都可通過其某個因子的態射來自然確定，那么稱該範疇具有笛卡兒閉性．此類範疇在數理邏輯和程式設計理論中尤為重要。
舉例
範疇[集合範疇|Set](以集合為對象，函式為態射)具有笛卡兒閉性。定義 X×Y 為 X 和 Y 的笛卡兒積，ZY 為從 Y 到 Z 的函式集合。給定任何態射(這裡為函式) f : X×Y → Z ，定義態射g : X → ZY 為 g(x)(y)=f(x,y)，則 f 由 g 自然確定。
