2005-12-18 圏論勉強会 圏論 算譜 でした。一年続きました。めでたい。 で、合間に以前のエントリーの話が出たので忘れないうちにメモ。 MLのタプルはスマッシュ直積(strictな直積)、つまり、。だけど、圏論的な直積はnon strictなので別物。 そういう意味で圏論の直積はHaskellのタプルに近いが、Haskellのタプルは全ての要素がでもタプルとしては値を返すので、その点が圏論的な直積とは違う。