Reference. Higher Topos Theory [LurieHTT]

  • Jacob Lurie