Derived homotopy algebras

Abstract

We develop a theory of minimal models for algebras over a Koszul operad with trivial differential defined over a commutative ring (containing $\mathbb {Q}$ in the symmetric case), not necessarily a field, extending and supplementing the work of Sagave for the associative case. Our minimal models are bigraded and contain a projective resolution of the homology.