HoTT/book — pull request #522 by mikeshulman (2013-11-19 18:30:35+00:00)
Title: cite Hofmann and Streicher for univalence and categories

this was pointed out by Benedikt