nLab
Introduction to Homotopy Type Theory

This entry collects links related to the forthcoming book

  • Egbert Rijke,

    Introduction to Homotopy Type Theory,

    Cambridge Studies in Advanced Mathematics,

    Cambridge University Press

which introduces homotopy type theory in general and Martin-Löf's dependent type theory, the Univalent Foundations for Mathematics and synthetic homotopy theory in particular. The book is based on a course taught by Egbert Rijke at Carnegie Mellon University in the spring semester of 2018, and is expected to be published in 2021.

Resources:

Contents

The book contains three chapters:

Formalization

category: reference

Last revised on August 4, 2020 at 07:53:00. See the history of this page for a list of all contributions to it.