Formal plethories (Q2445954)

Let \(k\) be a commutative ring. A plethory is a representable endofunctor of \(k\)-algebras which is a comonoid with respect to the non-symmetric monoidal structure given by composition of such representable endofunctors (see [\textit{D. O. Tall} and \textit{G. C. Wraith}, Proc. Lond. Math. Soc. (3) 20, 619--643 (1970; Zbl 0226.13007)] and [\textit{J. Borger} and \textit{B. Wieland}, Adv. Math. 194, No. 2, 246--283 (2005; Zbl 1098.13033)]). The aim of this paper is to extend the theory of plethories to the setting of graded formal schemes and to study linearizations of them. This work is motivated by the study of the algebra of endofunctors ``unstable operations'' of the category of algebra over \(E_{*}\) (\(E\) denotes a generalized cohomology theory) which are colimit of representable functors and a comonoid with respect to composition of such functors.