Props in model categories and homotopy invariance of structures
-
Benoit Fresse
Abstract
We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the general argument to address the case of props in topological spaces and dg-modules over an arbitrary ring, but we give a less technical proof which applies to the category of props in simplicial sets, simplicial modules, and dg-modules over a ring of characteristic 0.
We apply the model structure of props to the homotopical study of algebras over a prop. Our goal is to prove that an object 𝑋 homotopy equivalent to an algebra 𝐴 over a cofibrant prop P inherits a P-algebra structure so that 𝑋 defines a model of 𝐴 in the homotopy category of P-algebras. In the differential graded context, this result leads to a generalization of Kadeishvili's minimal model of 𝐴∞-algebras.
© de Gruyter 2010
Artikel in diesem Heft
- A finite dimensional 𝐴∞ algebra example
- Cartan's constructions and the twisted Eilenberg–Zilber theorem
- Higher order track categories and the algebra of higher order cohomology operations
- A case study of 𝐴∞-structure
- Props in model categories and homotopy invariance of structures
- On the construction of 𝐴∞-structures
- A twisted tale of cochains and connections
Artikel in diesem Heft
- A finite dimensional 𝐴∞ algebra example
- Cartan's constructions and the twisted Eilenberg–Zilber theorem
- Higher order track categories and the algebra of higher order cohomology operations
- A case study of 𝐴∞-structure
- Props in model categories and homotopy invariance of structures
- On the construction of 𝐴∞-structures
- A twisted tale of cochains and connections
