{"id":"arxiv/2605.02634","url":"https://arxiv.org/abs/2605.02634","tags":["math.CT","math.AG","math.AT","math.RA"],"score":0,"title":"Accessibility and Gorenstein injective envelopes","domain":"math.CT","source":"arxiv","authors":["Sergio Estrada","James Gillespie"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-04","reactions":{}}