3 ms·
It’s not exactly easy reading but take a look at Homotopy Type Theory w Univalent Foundations which is free online.
by jshaqaw 4y ago
It’s not exactly easy reading but take a look at Homotopy Type Theory w Univalent Foundations which is free online.