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.

On selfadjoint functors satisfying polynomial relations

Polynomial functors on some categories of elements

Inductive systems of the symmetric group, polynomial functors and tensor categories

Parabolic-equivariant modules over polynomial rings in infinitely many variables

Functors on relational structures which admit both left and right adjoints

Towards higher Frobenius functors for symmetric tensor categories

Structures on Categories of Polynomials

Relative fixed points of functors

Nilpotent Category of Abelian Category and Self-Adjoint Functors

On the Passi and the Mal'cev functors

Polynomial Functors: A Mathematical Theory of Interaction

Polynomial functors on flags

Functors on the category of finite sets revisited

6-Functor Formalisms and Smooth Representations

Invariants of the adjoint coaction and Yetter–Drinfeld categories

Functor morphing and representations of automorphism groups of modules

Homology of strict polynomial functors over Fp-linear additive categories

Partial actions of inverse categories and their algebras

Reconstruction of module categories in the infinite and non-rigid settings

A functorial approach to $n$-abelian categories

Polymorphism-homogeneity and universal algebraic geometry