  We give a new construction of the Joyal model structure on the category of
simplicial sets, and we provide a simple characterization of the fibrations in
it. We characterize the inner anodyne maps in terms of categorical equivalences
and use this characterization to establish the inner model structure on the
category of simplicial sets whose set of zero-simplices is equal to a fixed set
$O$.
