Example 1.6.14 (Homotopy coherent nerve). A further family of quasicategories is given by the homotopy coherent nerve \(\Ntop (D)\) of a topologically enriched category \(D\) (see Definition 24.3.1). Since this construction will not be used in the present book, we do not discuss it here in detail; see [Lurie (2009), Definition 1.1.5.5]. In Section 24.3, we will instead construct the homotopy coherent nerve directly as an \(\infty \)-category, without passing through quasicategories.

Generated from the authoritative LaTeX source.