Published online by Cambridge University Press: 20 November 2018
We prove that for a topological operad $P$ the operad of oriented cubical singular chains, $C_{*}^{^{\text{ord}}}(P)$, and the operad of simplicial singular chains, ${{S}_{*}}(P)$, are weakly equivalent. As a consequence, $C_{*}^{^{\text{ord}}}(P;\,\mathbb{Q})$ is formal if and only if ${{S}_{*}}(P;\,\mathbb{Q})$ is formal, thus linking together some formality results which are spread out in the literature. The proof is based on an acyclic models theorem for monoidal functors. We give different variants of the acyclic models theorem and apply the contravariant case to study the cohomology theories for simplicial sets defined by $R$-simplicial differential graded algebras.