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.

Model-theoretic $K_1$ of free modules over PIDs

Grothendieck rings of theories of modules

Kunneth formulas for path homology

The $K$-theory of the moduli stacks $\mathcal{M}_2$ and $\overline{\mathcal{M}}_2$

An eigenring construction for free groups and free modules

The Grothendieck Ring of Certain Non-Noetherian Group-Graded Algebras via $K$-Series

Explicit $K_2$ of some quotient rings of $\mathbb{Z}[G]$, $G$ an elementary abelian $p$-group

Module theory over Leavitt path algebras and $K$-theory

On the structure of even $K$-groups of rings of algebraic integers

On the structure of submodule of finitely generated module over PID

K-theories and Free Inductive Graded Rings in Abstract Quadratic Forms Theories

Lambda module structure on higher K-groups

Algebraic K-theory of endomorphism rings

On irreducibility of prefixed algebraic sets in moduli spaces of prime degree polynomials

On the $K$-theory of the $p$-adic unit disk

$K$-rings of wonderful varieties and matroids

Free algebras, universal models and Bass modules

Free summands of stably free modules

Lifting Central Idempotents Modulo Jacobson Radicals and Ranks of K-0 Groups

On the $K$-theory of $\mathbf{Z}/p^n$

A monoid-theoretical approach to infinite direct-sum decompositions of modules