This is a subentry of [[HTT, A.3.2]] and of [[a reading guide to HTT]].