Introduction to Homotopy Type Theory

Name: Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics, Series Number 219)
Rating: 5 (1 reviews)
ISBN: 9781108844161

Egbert Rijke

GenresLogicComputer Science

386 pages, Hardcover

Published November 6, 2025

About the author

Egbert Rijke

2 books

What do you think?

Friends & Following

Create a free account to discover what your friends think of this book!

Community Reviews

5 stars

1 (100%)

4 stars

0 (0%)

3 stars

0 (0%)

2 stars

0 (0%)

1 star

0 (0%)

Displaying 1 - 1 of 1 review

Daniel

445 reviews27 followers

Want to Read

November 17, 2025

arxiv.

agda-unimath. post.

Fundamental group of the circle at 1Lab.

freely-available

Displaying 1 - 1 of 1 review

Join the discussion

Introduction to Homotopy Type Theory

Egbert Rijke

About the author

Egbert Rijke

Ratings & Reviews

Friends & Following

Community Reviews

Join the discussion