On homotopy invariance for algebras over colored PROPs (Q847599)

Consider a monoidal model category with the following additional assumptions: strongly cofibrantly generated (i.e., the sources of generating trivial or not cofibrations are small relative to all maps) with a symmetric monoidal fibrant replacement functor and either a cofibrant unit and a cocommutative interval, or functorial path data, then the category of colored PROPs over this model category can be endowed with a strongly cofibrantly generated model category with fibrations and weak equivalences defined entrywise (i.e., a projective model structure). A homotopy invariance result about algebras over cofibrant colored PROPs follows. Of course, as usual in this kind of situation, the cofibrancy hypothesis on the base colored PROP plays a crucial role in this homotopy invariance result. PROPs can encode more sophisticated structures than operads because they can have multiple inputs and multiple outputs, and the colored generalization can encode even more general types of algebraic structures, including morphisms and more general diagrams of algebras over a colored or not PROP. The example of homotopy topological conformal field theory is used as an illustration of these results.