Accessibility and Gorenstein injective envelopes
Let $\mathcal{G}$ be a Grothendieck category. We prove completeness of the Gorenstein injective cotorsion pair whenever $\mathcal{G}$ admits a set of Tate trivial generators, and show that having such generators is necessary for completeness. In this case it must be a perfect cotorsion pair, cogenerated by a set, and equivalent to an injective abelian model structure on $\mathcal{G}$. Examples include Grothendieck categories (possibly without enough projectives) that admit a generating set consisting of objects of finite projective dimension, such as the category of quasi-coherent sheaves on…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.02634
curl -X POST /api/v1/records/arxiv/2605.02634/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.02634/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'