Notes on the Joyal model structure

Abstract

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$.