## Invert quasi-isomorphisms of symmetric cooperads

The theory of symmetric operads in chain complexes (say over a good enough field) is in some sense nice, because we have a well defined homotopy theory. In particular we have a notion of infinity-morphisms of operads (maybe called homotopy morphisms instead), which can be defined as a cooperad map between the appropriate bar constructions … Read more