I would like to read Voevodsky HoTT book.
However, I lack a lot of the basics. I would need a few introductory books first that cover topics like groupoids, fibrations, W -types, Homotopy theory.
Any suggestions for references? (I am looking primary for books)
Please not that the book is written by many authors of equal importance. So more specific: 'The HoTT book written by the participants of the Special Year on Univalent Foundations at Institute for Advanced Study'.