PR：この記事にはアフィリエイトリンクが含まれます。
圏論の本をプログラマー向けに探すと、数学の基礎がどの程度必要なのか気になりますよね。紹介する5冊には、コードから学ぶ本も応用例をたどる本もあります。
圏論は、関数やデータ型の関係や合成の形を捉える数学です。モナドが気になる人にも、圏の考え方を基礎から学びたい人にも、入口になる本があります。
本によって扱う概念や数学の前提は異なります。コードとのつながりを見たいのか、数学の見方を身につけたいのか。関心を絞ると候補を探しやすくなります。
圏論とコード
圏論では、対象と対象の間にある射や、その合成を通じてもの同士の構造を扱います。プログラマーなら、型や関数、データの変換を少し引いた視点から見る考え方と捉えると入りやすいでしょう。
たとえば、リストの各要素に関数を適用する処理は、その関数の働きをリストの構造へ移す例です。関手は、こうした構造を保つ写し方を表します。自然変換は関手同士をつなぐ変換です。
圏論を覚えれば、特定の言語機能をすぐ使いこなせるというわけではありません。抽象概念とコードを行き来する練習が要ります。数式、コード、具体例のどれに比重を置くかで、本の読み心地も変わってきます。
5冊の全体像
5冊は、コード例を軸に学ぶ本、計算機科学との接点を扱う本、数学の演習を重ねる本、応用例を追う本に分けられます。まずはそれぞれの入口を見てみましょう。
| 本 | 主な入口 | こんな人におすすめ |
|---|---|---|
 プログラマーのための圏論 | C++・Haskellと主要概念 | コードと理論の対応を知りたい人 |
 圏論入門 Haskellで計算する具体例から | Haskell・米田の補題 | Haskellの例を追って学びたい人 |
 Basic Category Theory for Computer Scientists | 計算機科学との接点 | 計算機科学への応用を見たい人 |
 Conceptual Mathematics | 高校代数・演習 | 数学の考え方から入りたい人 |
 An Invitation to Applied Category Theory | データ・回路・設計 | 現実の応用例に関心がある人 |
コードと理論の対応を知りたいなら、表の最初の2冊が有力です。Pierceの本は計算機科学との接点を扱い、Conceptual Mathematicsは数学と演習を軸にします。
データ移行や回路といった事例に関心がある人には、An Invitation to Applied Category Theoryが合います。入口が異なるので、今知りたいことに近い本から読むとよいでしょう。
プログラマーのための圏論
Bartosz Milewski著『プログラマーのための圏論』は、数学が得意でないプログラマーも対象にした一冊です。2026年5月26日刊行で、全380ページ。関数型プログラミングをきっかけに圏論へ興味を持った人に、コードと理論の橋をかけます。
コード例はC++とHaskellの両方です。C++の基本文法は前提ですが、Haskellは未経験者にも段階を追って説明されます。C++の基本を知り、Haskellはこれからという人なら、両方のコードを手掛かりに概念を追えます。
関手や自然変換から始まり、随伴、モナド、米田の補題、カン拡張まで扱います。プログラムとのつながりをたどりながら、基礎の先にある話題も学びたい人に合う内容です。最初の圏論本としても有力な一冊。
参考価格は税込4,400円です。公式の希望小売価格・定価を目安にした金額で、実売価格は時期や販売店によって変わります。モナドだけを短時間で確認するより、手元に置いて幅広く学びたい人におすすめです。
Haskellで学ぶ入門
雪田修一著『圏論入門 Haskellで計算する具体例から』は、Haskellのコード例を追いながら学べる本です。2020年8月刊行、320ページ。出版社の難易度表示は中級なので、初めて数学用語に触れる人は腰を据えて読み進めるとよいでしょう。
圏、関手、自然変換、随伴を経て、モナドや表現可能関手、米田の補題へ進みます。サンプルプログラムをダウンロードできる点も実践的です。説明を読むだけでなく、コードを手元で確かめながら理解したい人に合います。
本書が目指すのは、圏論の最初の大きな山ともいえる米田の補題の理解です。Haskellの例を追って定理まで学びたい人におすすめします。参考価格は税込3,740円で、定価が目安です。実売価格は時期や店によって変動します。
Pierceの短い本
Benjamin C. Pierce著『Basic Category Theory for Computer Scientists』は116ページです。関手、自然変換、随伴、デカルト閉圏といった基礎構成を、計算機科学との接点を意識してまとめています。
数学の準備は最低限を想定しています。プログラミング言語の設計や意味論、再帰領域方程式への応用を4つのケーススタディで扱う構成です。圏論が計算機科学のどんな問いと結び付くのか、具体例からつかめます。
ページ数は少なくても、扱う概念は基礎から応用まであります。計算機科学との接点をコンパクトに見渡したい人におすすめです。数学の準備は最低限とはいえ、ページ数だけで読みやすさを判断しないほうがよいでしょう。
概念数学の入門
LawvereとSchanuelによる『Conceptual Mathematics: A First Introduction to Categories』は、高校代数を前提に圏論の考え方を学ぶ本です。第2版は404ページで、演習問題は213問。コード例から入る本とは学びの軸が異なります。
コンピューターサイエンスを含む分野への応用も視野に入れ、特定分野の予備知識に頼らず概念を学べます。プログラムの書き方より、圏論の見方や数学的な構造を身につけたい人に合います。
演習が多く、読むだけでなく手を動かして考えたい人にも頼れる一冊です。高校代数を前提に数学の考え方から始めたい人におすすめします。モナドや関数型言語の実装例をすぐ見たいなら、コード中心の本を選ぶとよいでしょう。
応用例から入る本
FongとSpivakによる『An Invitation to Applied Category Theory: Seven Sketches in Compositionality』は、応用圏論を実例とともに学ぶ本です。大学数学の経験がなくても取り組める内容で、348ページに多数の例や演習を収めています。
題材はデータ移行、電気回路、共同設計などです。データ移行を随伴関手で捉えたり、回路をモノイド圏やオペラッドで扱ったりします。現実の問題を圏論の言葉で表す過程を追える構成です。
プログラムの型やモナドに関心がある人には、話題が広く感じられるかもしれません。異なるシステムの合成や、データと設計の関係に関心がある人には、ソフトウェア以外への応用も見渡せる一冊です。
概念が結ぶもの
5冊が扱うのは、特定の言語の構文より、関係や変換を整理する共通の見方です。型と関数から入る本、数学の概念を追う本、応用例から考える本。同じ用語も入口によって違った顔を見せます。
モナドを知りたくても、圏や関手の説明を飛ばすと、計算の合成にどう役立つのか見えにくくなります。米田の補題やカン拡張まで扱う本は、最初の疑問から遠く感じることもありますが、抽象概念のつながりを確かめられます。
抽象的な説明をコードやデータ構造に結び付けるところで、初学者は戸惑いがちです。具体例を読むときは、何が対象で、どの変換が射に当たるのかを自分の言葉で整理すると、理解が定着しやすくなります。
結論
プログラマー向けの圏論本を一冊選ぶなら、コードと理論の接続を広く学べる『プログラマーのための圏論』が第一候補です。C++の基本を知っていてHaskellはこれから、という人にも段階的な入口があります。基礎から応用的な話題まで学びたい場合におすすめです。
Haskellの具体例を重視し、米田の補題まで理解したい人には『圏論入門 Haskellで計算する具体例から』が合います。数学的な考え方を鍛えるなら『Conceptual Mathematics』、計算機科学との接点を短く見渡すならPierceの本をおすすめします。
データ移行や回路、設計などソフトウェアの外側にも目を向けたい人には『An Invitation to Applied Category Theory』。関心に近い一冊から始め、コードや演習、応用例を足場に読むのが着実な道です。
Amazon の PC をスコア化してみた
Amazonにある8〜14インチの小型WindowsタブレットやノートPCを、スペック別にスコア化して比較・ランキング。
