Introduction to Homotopy Type Theory: 219 (Cambridge Studies in Advanced Mathematics, Series Number 219) - Hardcover
Synopsis
An essential and up-to-date introduction to homotopy type theory with minimal prerequisites and over 200 exercises.
"synopsis" may belong to another edition of this title.
About the Author
Egbert Rijke is Postdoctoral Research Fellow at Johns Hopkins University and is a pioneering figure in homotopy type theory. As one of the co-authors of the influential book 'Homotopy Type Theory: Univalent Foundations of Mathematics' (2013), he has played a pivotal role in shaping the field. He is also a founder and lead developer of the agda-unimath library, which stands as the largest library of formalized mathematics written in the Agda proof assistant.
"About this title" may belong to another edition of this title.
Search results for Introduction to Homotopy Type Theory: 219 (Cambridge...
Stock Image
Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics, Series Number 219)
Published by
Cambridge University Press, 2025
ISBN 10: 1108844162
ISBN 13: 9781108844161
Used
Hardcover
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Fine. Seller Inventory # mon0004012524
Stock Image
Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics, Series Number 219)
Published by
Cambridge University Press, 2025
ISBN 10: 1108844162
ISBN 13: 9781108844161
Used
Hardcover
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Very Good. Seller Inventory # mon0004051288
Stock Image
Introduction To Homotopy Type Theory
Published by
Cambridge University Press, 2025
ISBN 10: 1108844162
ISBN 13: 9781108844161
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 50003132-n
Stock Image
Introduction to Homotopy Type Theory (Hardcover)
Published by
Cambridge University Press, Cambridge, 2025
ISBN 10: 1108844162
ISBN 13: 9781108844161
New
Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9781108844161
Stock Image
Introduction to Homotopy Type Theory
Published by
Cambridge University Press, 2025
ISBN 10: 1108844162
ISBN 13: 9781108844161
New
Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # GB-9781108844161
Buy New
£ 51.41
£ 5.87 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Introduction To Homotopy Type Theory
Published by
Cambridge University Press, 2025
ISBN 10: 1108844162
ISBN 13: 9781108844161
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 50003132
Stock Image
Introduction To Homotopy Type Theory
Published by
Cambridge University Press, 2025
ISBN 10: 1108844162
ISBN 13: 9781108844161
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 386 pages. 6.00x0.88x9.00 inches. In Stock. This item is printed on demand. Seller Inventory # __1108844162
Buy New
£ 51.30
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Introduction to Homotopy Type Theory
Published by
Cambridge University Press, GB, 2025
ISBN 10: 1108844162
ISBN 13: 9781108844161
New
Hardcover
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. 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. Seller Inventory # LU-9781108844161
Buy New
£ 65.95
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Introduction To Homotopy Type Theory
Published by
Cambridge University Press, 2025
ISBN 10: 1108844162
ISBN 13: 9781108844161
New
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 50003132-n
Buy New
£ 51.40
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics)
Published by
Cambridge University Press -, 2025
ISBN 10: 1108844162
ISBN 13: 9781108844161
New
Hardcover
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
hardcover. Condition: New. Seller Inventory # 6666-GRD-9781108844161
Buy New
£ 51.52
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available