カルテシアン閉(Cartesian closed)
単体的集合のなすカテゴリー sSet はカルテシアン閉(Cartesin closed) となる。
つまり、internal hom が存在する:
カテゴリー全体のなすカテゴリー Cat もカルテシアン閉(Cartesin closed)になるみたいです。
-カテゴリー全体だとどうなるんだろう?
単体的集合のなすカテゴリー sSet はカルテシアン閉(Cartesin closed) となる。
つまり、internal hom が存在する:
カテゴリー全体のなすカテゴリー Cat もカルテシアン閉(Cartesin closed)になるみたいです。
-カテゴリー全体だとどうなるんだろう?