カタランのブログ

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

カルテシアン閉(Cartesian closed)

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

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

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

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

 

 

 

ロビンソン-シェンステッド対応

ヤング盤の対と対称群の間の1:1の対応をつくるロビンソン-シェンステッド対応

を実験できるサイトをつくってみました。

www.haskeller.org/Robinson.html をご覧ください。