Tall-Wraith Monoids

Tall-Wraith monoids were introduced in MR2559638 (“The hunting of the Hopf ring”) to describe the algebraic structure on the set of unstable operations of a suitable generalised cohomology theory. In this paper we begin the study of Tall-Wraith monoids in an algebraic and categorical setting. We show that for V a variety of algebras, applying the free V-algebra functor to a monoid in Set produces a Tall-Wraith monoid. We also study the example of the Tall-Wraith monoid defined by the self set-maps of a finite ring, an example closely related to the original motivation for Tall-Wraith monoids.

💡 Research Summary

The paper “Tall‑Wraith Monoids” develops a systematic algebraic and categorical framework for the notion of Tall‑Wraith monoids, originally introduced to capture the algebraic structure on the set of unstable operations in a generalized cohomology theory. After a brief motivation, the authors set out to provide concrete sources of such monoids and to analyze their properties in both ungraded and graded contexts.

Section 2 reviews the necessary background from universal algebra. A variety V is identified with the category of models of a Lawvere theory; the free V‑algebra functor (F_V) exists under standard completeness and cocompleteness hypotheses. Dual to V‑algebras are co‑V‑algebra objects, denoted (V!V^{c}), which are V‑algebras in the opposite category. The authors recall that giving an object a V‑algebra (or co‑V‑algebra) structure is equivalent to lifting the appropriate hom‑functor to a V‑valued functor.

In Section 3 the authors define a Tall‑Wraith V‑monoid as a monoid object in the monoidal category (V!V^{c}). To make this definition meaningful they first prove that (V!V^{c}) carries a natural monoidal structure (tensor product (\otimes) and unit I). This structure is induced by the closed symmetric monoidal structure on V when V is a commutative variety, but the construction works for any variety.

The core technical results appear in Section 4. Theorem A shows that the ordinary free V‑algebra functor (F_V:\mathbf{Set}\to V) lifts to a strong monoidal functor (\widehat{F}_V:\mathbf{Set}\to V!V^{c}). Consequently, Corollary B states that for any ordinary monoid M, the object (\widehat{F}_V(M)) is a Tall‑Wraith V‑monoid. The proof uses only elementary adjunction arguments and the fact that the tensor product in (V!V^{c}) is defined via the universal property of co‑V‑algebras.

Theorem C treats the graded (many‑sorted) case. Fix a grading set Z and a graded variety (V^{}). The category of graded co‑(V^{})-algebras (V^{}V^{c}) inherits a monoidal structure. By composing the diagonal functor (\mathrm{diag}:\mathbf{Set}\to(\mathbf{Set}^{Z})^{Z}) with the graded free algebra functor (F^{Z}_{V^{}}), one obtains a strong monoidal lift (\widehat{F}_{V^{}}:\mathbf{Set}\to V^{*}V^{*c}). Thus graded monoids also give rise to Tall‑Wraith monoids.

Section 5 explores a second source of examples. Suppose we have two varieties V and U with a forgetful functor (U\to V) and a left adjoint (F_{U}^{V}:V\to U). If V is a commutative variety (e.g., modules over a commutative ring), then V is closed symmetric monoidal, and the induced monoidal structure interacts well with the Tall‑Wraith monoidal structure on (U!U^{c}). Consequently, the free functor (F_{U}^{V}) yields another systematic way to produce Tall‑Wraith monoids.

Section 6 introduces “toy cohomology theories”. By stripping a cohomology theory of its grading and filtration, one obtains a contravariant set‑valued functor represented by a finite ring R. The set of “operations” is (\mathrm{Set}(|R|,|R|)), which the authors show is a Tall‑Wraith monoid in the category of commutative R‑algebras. Moreover, this monoid is isomorphic to the free commutative R‑algebra on one generator, i.e. (R