『数学のことば:論理と集合で読む厳密な世界』 - 目次
数学英語における論理接続詞と概念語を、論理・集合・圏論へ段階的につなげる読書導線です。
はじめに
第2部: 条件と制約のニュアンス
第3部: 範囲と精度の階調
第4部: 論理の接続と展開
第5部: 構造への拡張
- [第5章 - 関係と写像](/『数学のことば:論理と集合で読む厳密な世界』/第5部:構造への拡張 — 関係から圏論へ 第5章関係と写像:集合をつなぐ橋)
- [第6章 - 圏論の基礎](/『数学のことば:論理と集合で読む厳密な世界』/第5部:構造への拡張 — 関係から圏論へ 第6章圏論の基礎:矢印の代数)
- [第7章 - 普遍性と言語](/『数学のことば:論理と集合で読む厳密な世界』/第5部:構造への拡張 — 関係から圏論へ 第7章普遍性と言語:定義の哲学)
- [第8章 - 圏論への応用](/『数学のことば:論理と集合で読む厳密な世界』/第5部:構造への拡張 — 関係から圏論へ 8章圏論への応用:例題と演習)
- [第9章 - 関手と自然変換](/『数学のことば:論理と集合で読む厳密な世界』/第5部:構造への拡張 — 関係から圏論へ 第9章関手と自然変換:圏間の翻訳)
- [第10章 - アダージョの補題](/『数学のことば:論理と集合で読む厳密な世界』/第5部:構造への拡張 — 関係から圏論へ 第10章アダージョの補題と表現可能関手)
- [第11章 - トポス理論](/『数学のことば:論理と集合で読む厳密な世界』/第5部:構造への拡張 — 関係から圏論へ 第11章トポス理論:論理と集合の一般化)
- [終章 - 圏論がもたらす数学観の変容](/『数学のことば:論理と集合で読む厳密な世界』/第5部:構造への拡張 — 関係から圏論へ 終章圏論がもたらす数学観の変容)
終章
読み方
短く全体をつかむなら各部の基本版を順に読み、演習や応用まで確認する場合は詳細版へ進んでください。圏論へ進む場合は、第2部から第4部で論理と言語の足場を作ってから第5部を読むと流れが自然です。