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