昨日のセミナーで、圏の簡単な事例として「しりとりの圏」を出したのですが、ハッキリとしたイメージを持てなかった人も多かったようです。“技術者／プログラマ”であれば、実際に動くコードを持ち出すのが手っ取り早いのかな、と思い、しりとりの圏をJavaScr…

昨日、「技術者／プログラマのためのモナドと圏論」セミナー（略称「モニャドセミナー」）を行いました。今回もまたKuwataさんの報告があがっています。それに対してたけをさん（非参加者）がつっこんだりしてます。それらに対する応答は後にします。Kuwata…