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.

Rings, modules, and algebras in infinite loop space theory

Ring operads and symmetric bimonoidal categories

Homotopy Equivalent Algebraic Structures in Multicategories and Permutative Categories

Hochschild and ordinary cohomology rings of small categories

An eigenring construction for free groups and free modules

Multifunctorial Inverse $K$-Theory

Equivariant algebraic $K$-theory of symmetric monoidal Mackey functors

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

Interacting Monoidal Structures with Applications in Computing

Skeleta and categories of algebras

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

A monadicity theorem for higher algebraic structures

The reductive Borel-Serre compactification as a model for unstable algebraic K-theory

Algebraic K-theory of endomorphism rings

Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence

A braided monoidal $(\infty,2)$-category of Soergel bimodules

Entwined modules over representations of categories

A ring structure on Tor

Entwined comodules and contramodules over coalgebras with several objects: Frobenius, separability and Maschke theorems

Ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces

Logarithmic tautological rings of the moduli spaces of curves