Covers the adjunction between simplicial sets and simplicially enriched categories, including preservation of inclusions and construction of homotopy categories.
Introduces the construction of quasi-categories from Kan enriched categories through defining simplicially enriched categories and constructing the simplicial nerve functor.
