Grothendieck enriched categories

DOI10.1007/S10485-022-09681-1MaRDI QIDQ2674405zbMATH OpenOpenAlexFDO

Authors Yuki Imamura

Publication date 12 September 2022

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2105.05108

zbMATH Keywords

DG category enriched category Gabriel-Popescu theorem Grothendieck category

Mathematics Subject Classification ID

Enriched categories (over closed or monoidal categories) (18D20) Abelian categories, Grothendieck categories (18E10)

Abstract: In this paper, we introduce the notion of Grothendieck enriched categories for categories enriched over a sufficiently nice Grothendieck monoidal category

m a t h c a l V

, generalizing the classical notion of Grothendieck categories. Then we establish the Gabriel-Popescu type theorem for Grothendieck enriched categories. We also prove that the property of being Grothendieck enriched categories is preserved under the change of the base monoidal categories by a monoidal right adjoint functor. In particular, if we take as

m a t h c a l V

the monoidal category of complexes of abelian groups, we obtain the notion of Grothendieck dg categories. As an application of the main results, we see that the dg category of complexes of quasi-coherent sheaves on a quasi-compact and quasi-separated scheme is an example of Grothendieck dg categories.

Review text

An object \(E\) in a 2-category equipped with a Yoneda structure was defined [\textit{R. Street} and \textit{R. Walters}, J. Algebra 50, 350--379 (1978; Zbl 0401.18004)] to be totally cocomplete (abbreviated to ``total) when the Yoneda morphism \(y_E : E\to \mathcal{P}E\) had a left adjoint \(z_E\dashv y_E\). In particular this applies in the 2-category of categories with homs enriched in a nice (say locally finitely presentable) monoidal category \(\mathscr{V}\). When the morphisms in the 2-category are restricted to finite limit preserving \(\mathscr{V}\)-functors, we call a total object \(E\) lex total (``lex for ``left exact). When \(\mathscr{V} = \mathrm{Set}\) and \(E\) is not too big [\textit{R. Street}, Bull. Aust. Math. Soc. 23, 199--208 (1981; Zbl 0471.18005)], \(E\) is lex total if and only if it is a Grothendieck topos. In the absence of such an existence theorem for a generating set for general \(\mathscr{V}\), it makes sense to define a \(\mathscr{V}\)-topos to be a lex-total \(\mathscr{V}\)-category with a small strongly generating set of objects; indeed, in [\textit{B. Day} and \textit{R. Street}, Contemp. Math. 431, 187--202 (2007; Zbl 1128.18004)] we also defined monoidal \(\mathscr{V}\)-topos. A feature of a Grothendieck topos is that any generating set of its objects is automatically dense (or ``left adequate in Isbell's terminology); this is a key ingredient of the Giraud Theorem characterizing Grothendieck toposes as it is in the Gabriel-Popescu Theorem characterizing Grothendieck abelian categories. In [\textit{B. Day} and \textit{R. Street}, J. Pure Appl. Algebra 43, 235--242 (1986; Zbl 0612.18004)] we saw for general \(\mathscr{V}\) that this feature has to do with the left adjoint \(z_E\) preserving monomorphisms. When \(\mathscr{V}\) is the category \(\mathrm{Ab}\) of abelian groups (so that left adjoints preserving monomorphisms are automatically finite limit preserving and all epimorphisms are strong), a \(\mathscr{V}\)-topos is precisely a Grothendieck abelian category. A Grothendieck \(\mathscr{V}\)-enriched category in the present paper is a \(\mathscr{V}\)-topos as above. When \(\mathscr{V}\) itself is a ``Grothendieck cosmos (which includes its being a Grothendieck abelian category), a Gabriel-Popescu-type theorem is proved. An important example is when \(\mathscr{V}\) is the category of chain complexes so that Grothendieck DG-categories are characterized. Preservation of Grothendieckness is proved under change of base by a monoidal right adjoint functor.

Recommendations

Cites work

Cited in

(26)

Describes a project that uses

Uses Software

MathOverflow

This page was built for publication: Grothendieck enriched categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2674405)