Vol. 170 Lurie, Jacob 
Higher topos theory
QA169 L87