Skip to main content

All Questions

8 votes
1 answer
628 views

Is there a "derived" Free $P$-algebra functor for an operad $P$?

Recall that an operad (in vector spaces, say) $P$ consists of a collection of vector spaces $P(n)$ for $n\geq 0$, such that $P(n)$ is equipped with an action by the symmetric group $S_n$, with maps $P(...
Theo Johnson-Freyd's user avatar