The n-Category Cafe の記事で知ったのですが、マイク・シュルマン（Mike Shulman、発音と片仮名表記についてはココ）達が、ホモトピー型理論（HoTT）の本を書いています。The HoTT book ですね。執筆作業はGitHub上で進められているようです。 https://gith…

「再びモナドへ」にて： 過去にモナドについて僕が書いたものを読み直すと、説明不十分だったり、混乱や誤解を招きそうな記述が見つかったりもします。しかし、それらを修正する気はないです。不足な部分は新たに書き足すことにします。 計算方法を説明した…