『数学のことば:論理と集合で読む厳密な世界』 - 目次

数学英語における論理接続詞と概念語を、論理・集合・圏論へ段階的につなげる読書導線です。

はじめに

第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部を読むと流れが自然です。