THE HOMOTOPY THEORY OF SIMPLICIAL PROPS
Philip Hackney, Marcy Robertson
ISRAEL JOURNAL OF MATHEMATICS | HEBREW UNIV MAGNES PRESS | Published : 2017
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.