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.

Generalizations of free monoids

Generalizations of free monoids

Topological finiteness properties of monoids. Part 2: special monoids, one-relator monoids, amalgamated free products, and HNN extensions

Topologies for the free monoid

Free submonoids of hyperbolic monoids

On groups of units of special and one-relator inverse monoids

An eigenring construction for free groups and free modules

Algebraic Monograph Transformations

Algebraic K$_0$ for unpointed Categories

A higher-order generalization of group theory

On finitely generated submonoids of virtually free groups

Generalization of formal monad theory to lax functors

Realization of monoids with countable sum

Free Σ-Monoids: A Higher-Order Syntax with Metavariables

Bases for counting functions on free monoids and groups

Affine Monoids of Corank One

Free Products of Generalized RFD C*-algebras

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory

Minimal free resolution of generalized repunit algebras

Non-finitely generated monoids corresponding to finitely generated homogeneous subalgebras

Everybody knows what a normal gabi-algebra is