Abstract:Let $k$ be a commutative unital ring. For a $k$-algebra $A$ with a multiplicative submodule $J$, we have a canonical subquotient algebra $\mathrm{E}_{A}(J)$ called the eigenring. In the case where $J$ is a left ideal, an adjunction exists between the category of $A$-modules and that of $\mathrm{E}_{A}(J)$-modules. The derived functors associated with this adjunction recover several well-known homological invariants, including group (co)homology and Hochschild (co)homology. The purpose of this paper is to present an extension of these constructions, where $k$-algebras are replaced with monads within a specified bicategory. This approach may be regarded as a categorification of eigenrings, given that monads in the bicategory are equivalent with $k$-linear categories. Furthermore, we generalize the aforementioned adjunction, demonstrating how the associated derived functors provide examples of functor homology. For a category $\mathcal{C}$, a module over $\mathcal{C}$ is defined as a functor from $\mathcal{C}$ to the category of $k$-modules and $k$-linear maps. In the case where $\mathcal{C}$ is either the opposite category of free groups or that of free modules over a ring $R$, specific types of modules over $\mathcal{C}$ naturally emerge within the context of algebraic topology. These include polynomial modules, analytic modules, outer modules and primitively generated modules. The majority of this paper is devoted to applying the general framework to the study of these module types. The categorification of eigenrings leads to a unified framework in which these types are characterized by certain internal data of the monad $\mathtt{L}_{\mathcal{C}}$ associated with $\mathcal{C}$. In applications, we obtain calculations of particular functor homologies and uncover new aspects of the above module types.

On analytic exponential functors on free groups

On the Passi and the Mal'cev functors

Higher Hochschild homology and exponential functors

A Category of Banach Space Functors

On equivalences for cohomological Mackey functors

On the structure of graded commutative exponential funtors

Positive positive-definite functions and measures on locally compact abelian groups

Towards Functor Exponentiation

A Note on the Non-Existence of Functors

Stable functors of derived equivalences and Gorenstein projective modules

Exodromy beyond conicality

Exponentiable functors between synthetic $\infty$-categories

An eigenring construction for free groups and free modules

On polynomial free-by-cyclic groups

On exponential groups and Maurer-Cartan spaces

On Kripke, Vietoris and Hausdorff Polynomial Functors

A model structure and Hopf-cyclic theory on the category of coequivariant modules over a comodule algebra

Double Glueing over Free Exponential: with Measure Theoretic Applications

Hopf Algebra Equivariant Cyclic Cohomology, K-theory and Index Formulas

Free-abelian by free groups: homomorphisms and algorithmic explorations

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