Higher topos theory - Lurie, Jacob , 1977-. (Princeton University Press, 2009)