モナドを勉強した

圏論のモナドについて勉強して勉強したことをノートにまとめました。範囲としてはモナドの定義から始めてBeckのモナド性定理あたりまでまとめてあります。

モナドはずっとやるやる詐欺をしていたので今回ある程度まとまって勉強できてよかったです。

今回学んだ内容を踏まえて次はトポスの計算をSGLの4章とかを読みながらやっていきたいです。