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.

Mackey functors for posets

Mackey functors on compact closed categories

Homotopy Theory of Enriched Mackey Functors

An introduction to Mackey and Green 2-functors

Lefschetz fixed-object and fixed-morphism theorems for acyclic categories

An homotopical algebra approach to the computation of higher limits

On the Passi and the Mal'cev functors

On equivalences for cohomological Mackey functors

Posets arising from decompositions of objects in a monoidal category

Functors on the category of finite sets revisited

Several adjoint constructions for biset functors via Mackey-functorial interpretation

Biset functors for categories

Koszul Resolutions over Free Incomplete Tambara Functors for Cyclic $p$-Groups

Norms of Generalized Mackey and Tambara Functors

Functorial Approach to Graph and Hypergraph Theory

Some remarks on Morse theory for posets, homological Morse theory and finite manifolds

Discrete homotopy and homology theories for finite posets

A higher Mackey functor description of algebras over an $N_{\infty}$-operad

Dualizing and canonical complexes on finite posets

The homotopy theory of simplicial props

Flat comodules and contramodules as directed colimits, and cotorsion periodicity