Proposition 5.9 ([F2]). Let be a presentable symmetric monoidal -category whose monoidal structure distributes over colimits.
To an -algebra in there is functorially assigned associative algebra such that there is a canonical equivalence between --modules and left -modules.
If is the operad, and the -algebra structure on is obtained by restriction from an -algebra structure, then there is a canonical equivalence of associative algebras .