Joyal model structure

In higher category theory in mathematics, the Joyal model structure is a special model structure on the category of simplicial sets. It consists of three classes of morphisms between simplicial sets called fibrations, cofibrations and weak equivalences, which fulfill the properties of a model structure. Its fibrant objects are all ∞-categories and it furthermore models the homotopy theory of CW complexes up to homotopy equivalence, with the correspondence between simplicial sets and CW complexes being given by the geometric realization and the singular functor. The Joyal model structure is named after André Joyal.