typos
Merge branch 'master' of github.com:HoTT/book
Functor categories via SIP
The Rezk completion has now been written.
inserted proof of hedbergs theorem