Homotopy Type Theory : Univalent Foundations of Mathematics

These lecture notes are based on and partly contain material from the HoTT book and are licensed under Creative Commons Attribution-ShareAlike 3.0.