Tensor products of $\infty$-algebras over operads Let $A$ and $B$ be $A_\infty$-algebras. It's true, but it's a quite nontrivial fact, that the tensor product $A \otimes B$ can be given the structure of $A_\infty$-algebra, too. What is much easier to prove is that the tensor product of an $A_\infty$-algebra with a dg-algebra is again an $A_\infty$-algebra.
One can ask similarly whether the tensor product of a $C_\infty$-algebra and an $L_\infty$-algebra is an $L_\infty$-algebra, generalizing the simple fact that the tensor product of a commutative algebra and a Lie algebra is again a Lie algebra. But in fact I can't even prove what should be a much simpler statement: that the tensor product of a $C_\infty$-algebra with a Lie algebra is an $L_\infty$-algebra. Is this true?
Remark. What is quite clear is that the tensor product of a commutative algebra and an $L_\infty$-algebra is an $L_\infty$-algebra.
 A: If you know the statement for strict algebras, then you "know" the statement for $\infty$-algebras by general nonsense. For example, the fact that a Lie algebra tensored with a commutative algebra again has a canonical Lie structure gives you an operad map $L \to L \otimes C$ (where I use the Boardman--Vogt tensor product, and in this case the map is an iso, but I don't need it to be). I also have surjective quasiisomorphisms $L_\infty \to L$ and $C_\infty \to C$. The tensor product of surjective quasiisomorphisms is again a surjective quasiisomorphism, so I get a surjective quasiisomoprhism $L_\infty \otimes C_\infty \to L \otimes C$. On the other hand, the cofibrancy of $L_\infty$ (in the model in which surjective quasiisomorphisms are acyclic fibrations) implies that I can lift the map $L_\infty \to L \otimes C$ against the map $L_\infty \otimes C_\infty \to L \otimes C$. After doing this lifting, I achieve the map $L_\infty \to L_\infty \otimes C_\infty$. Pulling back along this map gives me an $L_\infty$ structure on the tensor product of $L_\infty$ and $C_\infty$ algberas.
So the question you ask boils down to understanding the map $L_\infty \to L_\infty \otimes C_\infty$. The general nonsense says that it is not strictly canonical, but only canonical up to a contractible space of homotopies. However, it is not too hard to write down an explicit map in terms of "sums over diagrams". Perhaps you are asking for an explicit such sum?
