Campus eBookstore Logo

Skip Navigation LinksEBook Details

180 Day Subscription Introduction to Homotopy Type Theory

180 Day Subscription Introduction to Homotopy Type Theory
Author: Egbert Rijke
Price: $59.95
ISBN-10: 9781108945967R
ISBN-13: 9781108945967R
Edition: -1
Get It!:
Delivery: BibliU Reader
Duration: 180 Days

Note:
Copy Selections To Clipboard: User can copy content to the clipboard with the following restriction: Initially allowance of 0 copy selections. Another copy selection allowed every Day. To a maximum of 0 total copy selections.
Printing Pages: User can print pages with the following restriction: Initially allowance of 0 pages. Another page allowed every Day. To a maximum of 0 total pages.

Description

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.