2018-06-01 プログラマのための圏論:上級編(上) プログラマーのための圏論 (上級編) 『プログラマのための圏論:上級編(上)』はこれまで、プログラマのための圏論(上級編)で説明してきたことをまとめました。圏論での重要な概念である、極限、米田の補題、随伴関手についてまとめてあります。