加载中…
We prove that for a topological operad the operad of oriented cubical chains, , and the operad of singular chains, , are weakly equivalent. As a consequence, is formal if and only if is formal, thus linking together some formality results spread 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 -simplicial differential graded algebras.

生成讲解博客的中文版本

生成AI智能校验的中文版本