mikeshulman/hott-categories — pull request #2 by benediktahrens (2014-10-25 21:56:57+00:00)
Title: changes inspired by proofreading the MSCS version

corrected hom-typo, changed 2 references to publications rather than web pages: Gonthier and Coquand