元祖圏論勉強会ではない方の圏論勉強会 第13回の最終回です。資料とustreamは公開されています。 ワークスアプリケーションズさんに感謝 三脚復活してる！ 第13回: 随伴・モナド / 講師 @9_ties さん 「モナドが途中で終わるのは嫌でしょう」「随伴を説明し…