If you have genuine curiosity about HoTT why not post to the mailing list? https://groups.google.com/forum/#!forum/homotopytypetheory https://groups.google.com

If you have genuine curiosity about HoTT why not post to the mailing list? https://groups.google.com/forum/#!forum/homotopytypetheory https://groups.google.com/forum/#!forum/homotopytypetheory You will get answers from real experts with updated views.