Steve Awodey の Category Theory を読む シリーズトップ 10.2 Monads and adjoints Example 10.5 10.3 Algebras for a monad Example 10.7 10.4 Comonads and coalgebras 10.5 Algebras for endofunctors Lemma 10.10 Corollary 10.13 参考書籍 10.2 Monads…