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.

The singular Yoneda category and the stabilization functor

(Non-Symmetric) Yetter–Drinfel’d Module Category and Invariant Coinvariant Jacobians

DG singular equivalence and singular locus

The stabilized bounded N-derived category of an exact category

Annihilators and decompositions of singularity categories

Stable categories of Cohen-Macaulay modules and cluster categories

A functorial approach to monomorphism categories II: Indecomposables

McKay correspondence, cohomological Hall algebras and categorification

Semistable Higgs bundles, periodic Higgs bundles and representations of algebraic fundamental groups

The stable category of monomorphisms between (Gorenstein) projective modules with applications

Continuum Response and Reaction in Neutron-Rich Be Nuclei

Singularity Categories of Higher Nakayama Algebras

Skeleta and categories of algebras

Frobenius Categories, Gorenstein Algebras and Rational Surface Singularities

The Singularity Category of an Exact Category Applied to Characterize Gorenstein Schemes

Naturality of the $\infty$-Categorical Enriched Yoneda Embedding

A localisation theorem for singularity categories of proper dg algebras

Stability Conditions and the A_2 Quiver

Singular Hochschild Cohomology and Gerstenhaber Algebra Structure

An eigenring construction for free groups and free modules