今日は 先月あった圏論の集中講義の復習 Programming in Martin-Löf's type theory 読解 をした。圏論圏論と言われて1年ぐらい経過したにもかかわらず大したことは喋れないのだが、これが圏ですよ、というのぐらいは言えるようになった。そして、圏論に関係…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。