Abstract:The author has shown that the category of analytic contravariant functors on $\mathbf{gr}$, the category of finitely-generated free groups, is equivalent to the category of left modules over the PROP associated to the Lie operad, working over $\mathbb{Q}$. This exploited properties of the polynomial filtration of the category of contravariant functors on $\mathbf{gr}$. The first purpose of this paper is to strengthen the corresponding result for covariant functors on $\mathbf{gr}$. This involves introducing the appropriate analogue of the category of analytic contravariant functors, namely a certain category of towers of polynomial functors on $\mathbf{gr}$. This category is abelian and has a natural symmetric monoidal structure induced by the usual tensor product of functors. Moreover, the projective generators of this category are described in terms of the Mal'cev functors that are introduced here. It follows that this category is equivalent to the category of right modules over the PROP associated to the Lie operad. As a fundamental example, the Passi functors arising from the group ring functors are described explicitly. The theory is applied to consider bifunctors on $\mathbf{gr}$. This allows the $\mathbb{Q}$-linearization of the category of free groups to be described, up to polynomial filtration. As a stronger application of the theory, this is generalized to the Casimir PROP associated to the Lie operad, as studied by Hinich and Vaintrob. Up to polynomial filtration, this recovers the category $\mathbf{A}$ introduced by Habiro and Massuyeau in their study of bottom tangles in handlebodies.

A general Greenlees-May splitting principle

Splitting rational incomplete Mackey functors

The equivariant stable homotopy theory around isometric linear maps

Green equivalences in equivariant mathematics

The Picard group in equivariant homotopy theory via stable module categories

A Geometric Splitting of the Motive of $\textrm{GL}_n$

2-Rig Extensions and the Splitting Principle

Relative étale slices and cohomology of moduli spaces

Separable commutative algebras in equivariant homotopy theory

On the Passi and the Mal'cev functors

The homological slice spectral sequence in motivic and Real bordism

Computing Equivariant Homotopy with a Splitting Method

Equivariant algebraic $K$-theory of symmetric monoidal Mackey functors

Equivariant Homotopy Theory via Simplicial Coalgebras

Equivariant generalized cohomology via stacks

On two modular geometric realizations of an affine Hecke algebra

Equivariant Gromov-Witten Theory of Affine Smooth Toric Deligne-Mumford Stacks

Splitting quasireductive supergroups and volumes of supergrassmannians

The Greenberg functor revisited

Green correspondence on centric Mackey functor over fusion systems

Modularity of trianguline Galois representations