カタランのブログ

数論、幾何、確率など何か発見したことを書いてます。

カルテシアン閉(Cartesian closed)

単体的集合のなすカテゴリー sSet はカルテシアン閉(Cartesin closed) となる。

つまり、internal hom が存在する:

カテゴリー全体のなすカテゴリー Cat もカルテシアン閉(Cartesin closed)になるみたいです。

 \infty-カテゴリー全体だとどうなるんだろう?