圏論勉強会 第3回 @ ワークスアプリケーションズ
Seminar of category theory
nineties.github.io