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 Gr-Functors between Gr-Categories: Obstruction theory for Gr-Functors of the type $(φ,f)$

Non-archimedean analytic continuation of unobstructedness

On the Passi and the Mal'cev functors

The second descent obstruction and gerbes

On the relation between lifting obstructions and ordinary obstructions

Galois theory and homology in quasi-abelian functor categories

On the homotopy theory of Grothendieck \infty-groupoids

A generalization of Gabriel's Galois covering functors and derived equivalences

Spectral Floer theory and tangential structures

Semi-Perfect Obstruction theory and DT Invariants of Derived Objects

The Diffeological Čech-de Rham Obstruction

Group Extensions of the Co-type of a Crossed Module and Strict Categorical Groups

Extension Theory and Fermionic Strongly Fusion 2-Categories (with an Appendix by Thibault Didier Décoppet and Theo Johnson-Freyd)

Homology of strict polynomial functors over Fp-linear additive categories

Obstruction theory for the $\mathbb{Z}_2$-index of $4$-manifolds

Obstructions to homotopy invariance of loop coproduct via parametrised fixed-point theory

A Note on the Non-Existence of Functors

Graded character sheaves, HOMFLY-PT homology, and Hilbert schemes of points on $\mathbb{C}^2$

The Braided Monoidal Structures on A Class of Linear Gr-Categories

On homological properties of the category of F 1 -representations over a linear quiver of type A n

Study of various categories gravitating around $(φ,Γ)$-modules