An endofunctor in the category of operads (Q2736581)

The paper under review studies in detail and develops further one of the topics considered in the program paper from the same volume of the Springer Lecture Notes in Mathematics [\textit{J.-L. Loday}, ibid. 1763, 7-66 (2001; Zbl 0999.17002)]. In the same way as the commutative (and associative) algebras are distinguished in the class of all associative algebras by the commutativity property \(xy=yx\), one considers the subcategory of commutative dialgebras (in the category of all dialgebras) consisting of those dialgebras which satisfy the identity \(x\vdash y=y\dashv x\). The author studies the related operad denoted \(\text{Perm}\) and a morphism of \(\text{Perm}\) to the symmetric monoidal category \(\text{Com}\) of the vector spaces over a fixed field of characteristic 0. The main object to study is the behaviour of the functor \(-\otimes \text{ Perm}\). For every operad \(\mathcal P\) there is a morphism of operads \(N_{\mathcal P}\) from \(E({\mathcal P})={\mathcal P}\otimes\text{ Perm}\) to \(\mathcal P\) induced by the morphism \(\text{Perm}\to\text{Com}\). The endofunctor \(E\) in the category of operads is equipped with a natural transformation \(N\) to the functor \(\text{Id}\). This construction exists also for other symmetric monoidal categories and in particular for the operads of topological spaces and of complexes. For the other papers of this volume see Zbl 0999.17003 above and Zbl 0999.17005 below. For the entire collection see [Zbl 0970.00010].