As I said in the Preface I’m currently reading the original HoTT book and this is a work in progress. So stay tuned and always check for the newest version at https://www.mehranbaghi.com/hott_for_cools/.
Except As Otherwise Noted, The Content Of This Page Is Licensed Under The CC-BY-SA 4.0 License And Code Samples Are Licensed Under The GPL 3.0 License. For Details, See License.