Introduction to Homotopy Type Theory
Sorozatcím: Cambridge Studies in Advanced Mathematics; 219;
-
10% KEDVEZMÉNY?
- A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
- Kiadói listaár GBP 50.00
-
25 305 Ft (24 100 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 10% (cc. 2 531 Ft off)
- Discounted price 22 775 Ft (21 690 Ft + 5% áfa)
Iratkozzon fel most és részesüljön kedvezőbb árainkból!
Feliratkozom
25 305 Ft
Beszerezhetőség
Még nem jelent meg, de rendelhető. A megjelenéstől számított néhány héten belül megérkezik.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadó Cambridge University Press
- Megjelenés dátuma 2025. augusztus 31.
- ISBN 9781108844161
- Kötéstípus Keménykötés
- Terjedelem383 oldal
- Nyelv angol 700
Kategóriák
Rövid leírás:
An essential and up-to-date introduction to homotopy type theory with minimal prerequisites and over 200 exercises.
TöbbHosszú leírás:
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.
'The mathematician's dream of identifying objects that are equivalent is a foundational axiom of Homotopy Type Theory, which combines Voevodsky's univalence axiom with a homotopical interpretation of Martin-L&&&246;f's dependent type theory. Rijke has produced a beautiful introduction that demystifies these univalence foundations, with a curated list of examples and exercises that enable newcomers to rapidly develop the intuitions necessary to learn how to write their own proofs, either on paper or with a computer proof assistant.' Emily Riehl, Johns Hopkins University
Tartalomjegyzék:
Preface; Introduction; Part I. Martin-L&&&246;f's Dependent Type Theory: 1. Dependent type theory; 2. Dependent function types; 3. The natural numbers; 4. More inductive types; 5. Identity types; 6. Universes; 7. Modular arithmetic via the Curry-Howard interpretation; 8. Decidability in elementary number theory; Part II. The Univalent Foundations of Mathematics: 9. Equivalences; 10. Contractible types and contractible maps; 11. The fundamental theorem of identity types; 12. Propositions, sets, and the higher truncation levels; 13. Function extensionality; 14. Propositional truncations; 15. Image factorizations; 16. Finite types; 17. The univalence axiom; 18. Set quotients; 19. Groups in univalent mathematics; 20. General inductive types; Part III. The Circle: 21. The circle; 22. The universal cover of the circle; Index; Bibliography.
Több
