I have a particular kind of algebraic structure that’s come up in my work. It’s basically a chain complex equipped with a multiplication which is commutative and associative up to homotopy in a particularly nice way. So one might hope that it’s some variation of an $ E_\infty$ -algebra. Unfortunately I cannot see a directRead more