When can a formality quasi-isomorphism over rationals be constructed recursively?

V. A. Dolgushev, G. E. Schneider

Let $O$ be a differential graded (possibly colored) operad defined over rationals. Let us assume that there exists a zig-zag of quasi-isomorphisms connecting $O\otimes K$ to its c…