以下のGitHubのReadmeから、圏論の見出しにあります。 github.com そうだ圏論勉強しよ、ということで重い腰を上げてStaks Projectを読み始めました。他にも良い資料はいくらでもあるけど、なんだかんだこれを参照するのが安定なのかなって思います。 米田の…