Abstract:We consider representations of quivers taking values in monads or comonads over a Grothendieck category $\mathcal C$. We treat these as scheme like objects whose ``structure sheaf'' consists of monads or comonads. By using systems of adjoint functors between Eilenberg-Moore categories, we obtain a categorical framework of modules over monad quivers, and of comodules over comonad quivers. Our main objective is to give conditions for these to be Grothendieck categories, which play the role of noncommutative spaces. As with usual ringed spaces, we have to study two kinds of module categories over a monad quiver. The first behaves like a sheaf of modules over a ringed space. The second consists of modules that are cartesian, which resemble quasi-coherent sheaves. We also obtain an extension of the classical quasi-coherator construction to modules over a monad quiver with values in Eilenberg-Moore categories. We establish similar results for comodules over a comonad quiver. One of our key steps is finding a modulus like bound for an endofunctor $U:\mathcal C\longrightarrow \mathcal C$ in terms of $\kappa(G)$, where $G$ is a generator for $\mathcal C$ and $\kappa(G)$ is a cardinal such that $G$ is $\kappa(G)$-presentable. Another feature of our paper is that we study modules over a monad quiver in two different orientations, which we refer to as ``cis-modules'' and ``trans-modules.'' We conclude with rational pairings of a monad quiver with a comonad quiver, which relate comodules over a comonad quiver to coreflective subcategories of modules over monad quivers.

Entwining Structures in Monoidal Catrgories

Entwined modules over representations of categories

Interacting Monoidal Structures with Applications in Computing

Structures on Categories of Polynomials

Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities

Iterated distributive laws

Monoidal Structures on Generalized Polynomial Categories

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas

Enriched duality in double categories II: modules and comodules

Wreaths, mixed wreaths and twisted coactions

Grothendieck-Verdier duality in categories of bimodules and weak module functors

Monoidal algebraic model structures

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

Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

A monadicity theorem for higher algebraic structures

Induced monoidal structure from the functor

Local Modules in Braided Monoidal 2-Categories

Extending monoidal structures on fibered categories via embeddings

Eilenberg-Moore categories and quiver representations of monads and comonads

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

Logical Structure on Inverse Functor Categories