友人のところ。とにかくめでたい。おめでとう！

チケット購入。締め切りギリギリだった。

昨日開催された「技術者／プログラマのためのモナドと圏論」セミナー（モニャドセミナー） 第3回に行ってきました。例によって1時間遅刻。 前半 関手とその例だったようです。 ちょうど到着した頃に、しりとり圏からの関手、しりとり圏への関手の例の説明を…