株式会社極東書店トップ ＞ 商品一覧 ＞ Introduction to Homotopy Type Theory.
商品詳細
Introduction to Homotopy Type Theory.
・ISBN 978-1-108-84416-1 hard GB£ 50.00
￥15,840.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
電子版あり 大学・学術機関向け電子ブック（eBook）ISBN 978-1-108-93356-8
| 著者・編者 | Rijke, Egbert, |
|---|---|
| シリーズ | Cambridge Studies in Advanced Mathematics |
| 出版社 | (Cambridge University Press, UK) |
| 出版年月 | 2025 |
| ページ数 | 386 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-14958＞ |
解説
This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathematics. The book begins with a thorough and self-contained introduction to dependent type theory. No prior knowledge of type theory is required. The second part gradually introduces the key concepts of homotopy type theory: equivalences, the fundamental theorem of identity types, truncation levels, and the univalence axiom. This prepares the reader to study a variety of subjects from a univalent point of view, including sets, groups, combinatorics, and well-founded trees. The final part introduces the idea of higher inductive type by discussing the circle and its universal cover. Each part is structured into bite-size chapters, each the length of a lecture, and over 200 exercises provide ample practice material.