Fri, 22 May 2009

昨日のイベント

• 告知：「技術者／プログラマのためのモナドと圏論」セミナー（モニャドセミナー） 第2回
  • 次回から出たい
  • ↓現実のWEBだと圏になってないから*1、ちょっと誤解を招くかも？

例えば Web ページ同士のハイパーリンクは圏になってるんじゃないかな。

Kuwataさんのまとめ

*1:∵ このサイトから何個かのリンクを合成すればMSNに着くだろうが、このサイトからMSNへリンクは張ってない。