2018-06-01から1ヶ月間の記事一覧

プログラマのための圏論:上級編(上)

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