Higher Topos Theory (AM-170) - pocket, Engelsk, 2009