unhappychoice.com

なぜ圏論が必要か

たまには誰かの役に立つであろうことを書いてみようかと思いたったので、圏論について書いてみようかと思い始めた。(ただしまだまだ学習中であって圏論について明るいというわけでもない) ので、序論と言うかモチベーションの部分をまずまとめておく。

もっと読む

最近の活動

間が空いてしまったのでまとめて

もっと読む