My personal HoTT notes.