[HoTT]HoTTをこっそり学ぶ その１ HoTT始めました。HoTTとはHomotopy Type Theoryの略語であり、またその最初のテキスト（？）である『Homotopy Type Theory Univalent Foundations of Mathematics』というタイトルの本（電子本もネットに落ちている）も指し…