Derived graded modules
Abstract
We introduce the notion of the ∞-category of (complete) derived G-graded modules over a G-graded ring R for a torsion-free abelian group G, and we study its foundational properties. Moreover, we prove a categorical equivalence between (complete) derived G-graded modules over R and derived (formal) comodules over a certain comonad constructed from the group ring R[G] of G over R.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.