HoTT/book — pull request #602 by EgbertRijke (2014-01-12 19:13:17+00:00)
Title: fixing a typo, changing the wording a bit because we don't know whether ...

...epi and surjectivity are equivalent or not for a suitable notion of epi, added a hint why surjective is more important