What I Wish I Knew When Learning HoTT¶

Auke Booij

This document intends to refer to concepts one may not be aware of on a first reading of the HoTT book, and intends to give a crude, possibly unhelpful intuition for them.

Thanks for additional input from Sina Hazratapour, Manfred Kerber, Ulrik Buchholtz and Andrej Bauer.

Changelog¶ 0.1 first release (?)