Skip to main content

Homotopy theory

Introduction to Homotopy Type Theory is great.