プログラマーのための圏論

Bartosz Milewski(著者), 北川雅裕(訳者), 松田一孝(監訳)

• 販売会社／発売会社: オーム社
• 発売年月日: 2026/05/26
• JAN: 9784274234866

商品レビュー

2026/09/28

圏論の各概念についての簡単な解説+プログラミングでの実装例。

圏：合成の本質　型と関数　圏のさまざま　クライスリ圏　積と余積　シンプルな代数的データ型　関手　関手性　関数型　自然変換　宣言的プログラミング　極限と余極限　自由モノイド　表現可能関手　米田の補題　米田埋め込み　射こそすべて　随伴　自由／忘却随伴　モナド：プログラマーの定義　モナドと計算効果　圏論から見たモナド　コモナド　F-代数　モナドの代数　エンドとコエンド　カン拡張　豊穣圏　トポス　ローヴェア理論　モナド・モノイド・圏