デカルト閉圏
cartesian closed category
CCC
デカルト閉圏⇔
終対象をもつ
任意の直積をもつ
任意の指数対象 (直積をもつ圏)をもつ
言い換えると
デカルト圏かつ
$ \_×{}^\forall y が右随伴函手として指数函手をもつ
$ \_×y \dashv \_^y \colon C→C
つまり、任意の対象$ y について指数随伴系 (直積をもつ圏)$ \Sigma[y] が存在する
gen.icon モノイダル閉圏
Ref.icon デカルト閉圏 - Wikipedia