The homotopy theory of simplicial props

Philip Hackney, Marcy Robertson

Published 2012-09-05, updated 2014-12-30Version 2

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on "higher props," we show that the category of all small colored simplicial props admits a cofibrantly generated model category structure. With this model structure, the forgetful functor from props to operads is a right Quillen functor.