Awodeyのcategory theory(2nd edition)を読みながらexponentialについて考えていたのだが、そこに書いてあった書評からhttp://nineties.github.io/category-seminar/#/ という資料を見つけた。おそらく現存する圏論の(プログラミング寄りの)説明のなかで、…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。