Pseudoskew category algebras and modules over representations of small categories
Pith reviewed 2026-05-23 23:47 UTC · model grok-4.3
The pith
Introduces pseudoskew category algebras to equate Mod-R with functor categories on Gr(R) and with modules over R[C], classifies hereditary torsion pairs, and reproves Estrada-Virili theorem.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Mod-R is equivalent both to the category of Abelian group valued functors on Gr(R) and to the category of modules over the pseudoskew category algebra R[C]; hereditary torsion pairs in Mod-R are classified.
Load-bearing premise
R is a pseudofunctor from the small category C into the category of small preadditive categories (as stated in the opening sentence of the abstract).
read the original abstract
Let $\mathcal {C}$ be a small category and let $R$ be a representation of the category $\mathcal {C}$, that is, a pseudofunctor from a small category to the category of small preadditive categories. In this paper, we mainly study the category $\mbox{Mod-} R$ of right modules over $R$. We characterize it both as a category of the Abelian group valued functors on $Gr(R)$ and as a category of modules over a new family of algebras: the pseudoskew category algebras $R[{\mathcal C}]$, where $Gr(R)$ is the linear Grothendieck construction of $R$. Moreover, we also classify the hereditary torsion pairs in $\mbox{Mod-} R$ and reprove Theorem 3.18 of the paper (S. Estrada and S. Virili. Cartesian modules over representations of small categories. Adv. in Math. 310: 557-609, 2017) of Estrada and Virili.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines a representation R of a small category C as a pseudofunctor from C into the category of small preadditive categories. It introduces the linear Grothendieck construction Gr(R) and the pseudoskew category algebra R[C]. The central claims are that the category Mod-R of right R-modules is equivalent both to the category of Abelian group-valued functors on Gr(R) and to the category of modules over R[C]. The paper also classifies hereditary torsion pairs in Mod-R and reproves Theorem 3.18 of Estrada and Virili (Adv. Math. 2017).
Significance. If the equivalences hold, the work supplies two new characterizations of Mod-R that may streamline the study of modules over category representations, building directly on prior results about Cartesian modules. The classification of hereditary torsion pairs provides a concrete structural result with potential utility in homological algebra. The reproof of the Estrada-Virili theorem, together with the introduction of pseudoskew category algebras, constitutes a coherent extension of existing theory in representation theory of small categories.
minor comments (2)
- The introduction would benefit from a short motivating example of a pseudofunctor R and the resulting pseudoskew algebra R[C] to make the new constructions more accessible before the general definitions.
- Notation for the linear Grothendieck construction Gr(R) and the precise coherence data required of the pseudofunctor R should be collected in a single preliminary subsection for easier reference in later proofs.
Simulated Author's Rebuttal
We thank the referee for their positive evaluation of the manuscript, including the assessment of its significance in providing new characterizations of Mod-R and the classification of hereditary torsion pairs. The recommendation for minor revision is appreciated. No specific major comments were raised in the report.
Circularity Check
No significant circularity; derivations are self-contained
full rationale
The paper defines R explicitly as a pseudofunctor from small category C into small preadditive categories, then constructs Gr(R) (linear Grothendieck construction) and the pseudoskew category algebra R[C] from these data. The two claimed equivalences (Mod-R equivalent to Ab-valued functors on Gr(R), and to modules over R[C]) are direct consequences of these constructions via standard functor-category arguments; the classification of hereditary torsion pairs likewise follows from the module category structure without any fitted parameters or self-referential definitions. The reproof of Estrada-Virili Theorem 3.18 is presented as an independent verification resting on the same explicit definitions rather than on any prior result by the present author. No step matches any of the enumerated circularity patterns; the derivation chain is self-contained and externally verifiable from the given definitions.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.