Introduction to Homotopy Type Theory
-10%
portes grátis
Introduction to Homotopy Type Theory
Rijke, Egbert
Cambridge University Press
08/2025
383
Dura
Inglês
9781108844161
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Preface; Introduction; Part I. Martin-Loef'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; References; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Preface; Introduction; Part I. Martin-Loef'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; References; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
