Abstract
In this paper, we introduce the notion of Grothendieck enriched categories for categories enriched over a sufficiently nice Grothendieck monoidal category \(\mathcal {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 \(\mathcal {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.
Similar content being viewed by others
Notes
A subcategory is called reflective if its inclusion functor has a left adjoint.
A right enriched adjoint is fully faithful if and only if its underlying functor is so.
References
Hwaeer, H.A., Garkusha, G.: Grothendieck categories of enriched functors. J. Algebra 450, 204–241 (2016)
Bondal, A.I., Kapranov, M.M.: Enhanced triangulated categories. Math. USSR, Sb. 70(1), 93–107 (1991)
Borceux, F.: Handbook of Categorical Algebra 1, Basic Category Theory, Encyclopedia of Mathematics and its Applications, vol. 50. Cambridge University Press, Cambridge (1994)
Borceux, F.: Handbook of Categorical Algebra 2, Categories and Structures, Encyclopedia of Mathematics and its Applications, vol. 51. Cambridge University Press, Cambridge (1994)
Borceux, F.: Handbook of Categorical Algebra 3, Categories of Sheaves, Encyclopedia of Mathematics and its Applications, vol. 52. Cambridge University Press, Cambridge (1994)
Bourbaki, N.: Algebra I, Chapters 1–3, Elements of Mathematics (Berlin), Springer-Verlag, Berlin, (1989), Translated from the French, Reprint of the 1974 edition
Borceux, F., Quinteiro, C.: A theory of enriched sheaves. Cahiers Topologie Géom. Différentielle Catég. 37(2), 145–162 (1996)
Borceux, F., Quinteiro, C., Rosický, J.: A theory of enriched sketches. Theory Appl. Categ. 4(3), 47–72 (1998)
Coulembier, K.: Additive Grothendieck pretopologies and presentations of tensor categories, arXiv:2011.02137 (2021)
Coulembier, K.: Homological kernels of monoidal functors, arXiv:2107.02374 (2021)
Di Liberti, I.: General theory of left-exact localization?, MathOverflow, URL: https://mathoverflow.net/q/349948 (version: 2021-06-11)
Di Liberti, I.: Is there a good general definition of “sheaves with values in a category”?, MathOverflow, URL: https://mathoverflow.net/q/389388 (version: 2021-04-06)
Dold, A., Puppe, D.: Duality, trace and transfer. Proc. Steklov Inst. Math. 154, 85–103 (1985). (English)
Di Liberti, I., González, J.R.: Exponentiable Grothendieck categories in flat algebraic geometry, arXiv:2103.07876 (2021)
Etingof, P., Gelaki, S., Nikshych, D., Ostrik, V.: Tensor Categories, Mathematical Surveys and Monographs, vol. 205. American Mathematical Society, Providence, RI (2015)
Enochs, E.E., García Rozas, J.R.: Tensor products of complexes. Math. J. Okayama Univ. 39, 17–39 (1997)
Garkusha, G., Jones, D.: Derived categories for Grothendieck categories of enriched functors, arXiv:1803.09451, (2018)
Garner, R., Lack, S.: Lex colimits. J. Pure Appl. Algebra 216(6), 1372–1396 (2012)
Holm, H., Odabasi, S.: The tensor embedding for a grothendieck cosmos, arXiv:1911.12717, (2019)
Kelly, G.M.: Basic concepts of enriched category theory, London Mathematical Society Lecture Note Series, vol. 64, Cambridge University Press, Cambridge-New York, 1982, Reprints in Theory and Applications of Categories 10 (2005)
Kelly, G.M.: Structures defined by finite limits in the enriched context, I, Cahiers de Top. et Géom. Diff. 23 (1982), no. 1, 3–42, Third Colloquium on Categories, Part VI (Amiens, 1980)
Keller, B.: On differential graded categories, In: International Congress of Mathematicians, vol. II, pp. 151–190. Zürich, Eur. Math. Soc. (2006)
Kashiwara, M., Schapira, P.: Categories and Sheaves, Grundlehren der Mathematischen Wissenschaften, vol. 332. Springer-Verlag, Berlin (2006)
Kuhn, N.J.: Generic representations of the finite general linear groups and the Steenrod algebra. I. Am. J. Math. 116(2), 327–360 (1994)
Jr. Lewis, L.G., May, J.P., Steinberger, M.: Equivariant stable homotopy theory, Lecture Notes in Mathematics, vol. 1213, Springer-Verlag, Berlin, With contributions by J. E. McClure (1986)
Lowen, W.: A generalization of the Gabriel-Popescu theorem. J. Pure Appl. Algebra 190(1–3), 197–211 (2004)
Lowen, W.: Linearized topologies and deformation theory. Topol. Appl. 200, 176–211 (2016)
Lurie, J.: Higher Algebra https://www.math.ias.edu/~lurie/papers/HA.pdf, (2017)
nLab authors, \(n\)Lab, https://ncatlab.org/nlab/show/HomePage, –(2021)
Popesco, N., Gabriel, P.: Caractérisation des catégories abéliennes avec générateurs et limites inductives exactes. C. R. Acad. Sci., Paris 258(French), 4188–4190 (1964)
Porta, M.: The Popescu-Gabriel theorem for triangulated categories. Adv. Math. 225(3), 1669–1715 (2010)
Prest, M., Ralph, A.: Locally finitely presented categories of sheaves of modules (2010)
González, J.R.: Grothendieck categories as a bilocalization of linear sites. Appl. Categ. Struct. 26(4), 717–745 (2018)
The Stacks Project Authors, Stacks Project, https://stacks.math.columbia.edu, (2018)
Stenström, B.: Rings of quotients, Die Grundlehren der mathematischen Wissenschaften, Band 217, Springer-Verlag, New York-Heidelberg, An introduction to methods of ring theory (1975)
Street, R.: Absolute colimits in enriched categories. Cahiers de Top. et Géom. Diff. 24(4), 377–379 (1983)
Vitale, E.M.: Localizations of algebraic categories. II. J. Pure Appl. Algebra 133(3), 317–326 (1998)
Šťovíček, J.: Locally well generated homotopy categories of complexes. Doc. Math. 15, 507–525 (2010)
Acknowledgements
The author would like to express his sincere gratitude to his supervisor, Shinnosuke Okawa, for a lot of advice and helpful inspiration through regular seminars. The author is also very grateful to Ivan Di Liberti for informing the author of the references on localizations and \(\mathcal {V}\)-topoi (see Remark 3.16). The author would like to thank the anonymous referee for a careful reading of the manuscript and for many helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ross Street.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Imamura, Y. Grothendieck Enriched Categories. Appl Categor Struct 30, 1017–1041 (2022). https://doi.org/10.1007/s10485-022-09681-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-022-09681-1