2000 character limit reached
The homotopy theory of simplicial props (1209.1087v4)
Published 5 Sep 2012 in math.AT and math.CT
Abstract: 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.