カルテシアン閉(Cartesian closed)
単体的集合のなすカテゴリー sSet はカルテシアン閉(Cartesin closed) となる。
つまり、internal hom が存在する:
カテゴリー全体のなすカテゴリー Cat もカルテシアン閉(Cartesin closed)になるみたいです。
-カテゴリー全体だとどうなるんだろう?
SL(2,Z)
に対し となるなら
と は共役となる。 なぜか?
対称群の指標
対称群の指標は整数に値をとる。
ロビンソン-シェンステッド対応
ヤング盤の対と対称群の間の1:1の対応をつくるロビンソン-シェンステッド対応
を実験できるサイトをつくってみました。
www.haskeller.org/Robinson.html をご覧ください。