Done with references HoTTBook, Ch.2 -> library (second try)

links HoTTBook, Ch. 2.10-15 -> library