Skip to main content
Log in

Grothendieck Categories as a Bilocalization of Linear Sites

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

Let k be a commutative ring. We prove that the 2-category \(\mathsf {Grt}_k\) of Grothendieck abelian k-linear categories with colimit preserving k-linear functors and k-linear natural transformations is a bicategory of fractions in the sense of Pronk [17] of the 2-category \(\mathsf {Site}_{k,\mathsf {cont}}\) of k-linear sites with k-linear continuous functors and k-linear natural transformations. In complete analogy, we prove that the conjugate-opposite 2-category of the 2-category \(\mathsf {Topoi}_k\) of Grothendieck abelian k-linear categories with k-linear geometric morphisms and k-linear morphisms between them is a bicategory of fractions of the 2-category \(\mathsf {Site}_k\) of k-linear sites with k-linear morphisms of sites and k-linear natural transformations. In addition, we show how the first statement can potentially be used to make the tensor product of Grothendieck categories from [14] into a bi-monoidal structure on \(\mathsf {Grt}_k\).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Théorie des topos et cohomologie étale des schémas. Tome 1: Théorie des topos. Springer, Berlin, 1972, Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4), Dirigé par M. Artin, A. Grothendieck, et J. L. Verdier. Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat, Lecture Notes in Mathematics, Vol. 269

  2. Artin, M., Tate, J., Van den Bergh, M.: Some algebras associated to automorphisms of elliptic curves. In: The Grothendieck Festschrift, Vol. I, Progr. Math. 86, Birkhäuser Boston, Boston, pp. 33–85(1990)

  3. Artin, M., Zhang, J.J.: Noncommutative projective schemes. Adv. Math. 109(2), 228–287 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  4. Bénabou, J.: Introduction to Bicategories, pp. 1–77. Springer, Berlin, Reports of the Midwest Category Seminar (1967)

  5. Borceux, F., Quinteiro, C.: A theory of enriched sheaves. Cah. Top. Géom. Diff. Catég. 2, 145–162 (1996)

    MathSciNet  MATH  Google Scholar 

  6. Centazzo, C., Vitale, E.M.: A classification of geometric morphisms and localizations for presheaf categories and algebraic categories. J. Algebra 303(1), 77–96 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  7. Day, B.: Note on monoidal localisation. Bull. Austral. Math. Soc. 8, 1–16 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  8. Freyd, P.J.: Abelian categories. Repr. Theory Appl. Categ. 3, 1–190 (2003)

    MATH  Google Scholar 

  9. Gabriel, P., Popescu, N.: Caractérisation des catégories abéliennes avec générateurs et limites inductives exactes. C. R. Acad. Sci. Paris 258, 4188–4190 (1964)

    MathSciNet  MATH  Google Scholar 

  10. Gabriel, P., Zisman, M.: Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35 Springer, New York, pp. x+168 (1967)

  11. Ganter, N., Kapranov, M.: Representation and character theory in \(2\)-categories. Adv. Math. 217(5), 2268–2300 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  12. Lowen, W.: Linearized topologies and deformation theory. Topol. Appl. 200, 176–211 (2016)

  13. Lowen, W.: A generalization of the Gabriel–Popescu theorem. J. Pure Appl. Algebra 190(1–3), 197–211 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  14. Lowen, W., Ramos González, J., Shoikhet, B.: On the tensor product of linear sites and Grothendieck categories. Int. Math. Res. Not. IMRN (2017). https://doi.org/10.1093/imrn/rnx072

  15. Moerdijk, I.: The classifying topos of a continuous groupoid. I. Trans. Am. Math. Soc. 310(2), 629–668 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  16. Moerdijk, I.: The classifying topos of a continuous groupoid. II. Cah. Top. Géom. Diff. Catég 31(2), 137–168 (1990)

    MathSciNet  MATH  Google Scholar 

  17. Pronk, D.: Etendues and stacks as bicategories of fractions. Compos. Math. 102(3), 24–303 (1996)

    MathSciNet  MATH  Google Scholar 

  18. Ramos González, J.: On the tensor product of large categories. Ph.D. thesis, University of Antwerp, pp. xiv+157 (2017)

  19. The Stacks Project Authors. Stacks Project. http://stacks.math.columbia.edu (2017)

  20. Stafford, J.T., Van den Bergh, M.: Noncommutative curves and noncommutative surfaces. Bull. Am. Math. Soc 38(2), 171–216 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  21. Tommasini, M.: Some insights on bicategories of fractions: representations and compositions of \(2\)-morphisms Theory Appl. Categ. 31, Paper No. 10, pp. 257–329 (2016)

  22. Tommasini, M.: Some insights on bicategories of fractions II–Right saturations and induced pseudofunctors between bicategories of fractions. arXiv:1410.5075 [math.CT]

  23. Tommasini, M.: Some insights on bicategories of fractions III– Equivalences of bicategories of fractions. arXiv:1410.6395 [math.CT]

  24. Wolff, H.: \({\cal{V}}\)-fractional categories. Cahiers Topol. Géom. Différ. 16(2), 149–168 (1975)

    MathSciNet  Google Scholar 

Download references

Acknowledgements

I am very grateful to Wendy Lowen for many interesting discussions, the careful reading of this manuscript and her valuable suggestions. I would also like to thank Ivo Dell’Ambrogio, Boris Shoikhet and Enrico Vitale for useful comments on bicategories of fractions and Matteo Tommasini, whose explanations on the behaviour of 2-morphisms after localization have been essential in order to obtain the main result of this paper. I am also very grateful to an anonymous referee for the careful reading of the paper, for pointing out reference [15] and for the useful comments and suggestions which have led to the parallel analysis of the two different settings considered in the current version of the paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Julia Ramos González.

Additional information

Communicated by R. Street.

The author acknowledges the support of the Research Foundation Flanders (FWO) under Grant No. G.0112.13N.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ramos González, J. Grothendieck Categories as a Bilocalization of Linear Sites. Appl Categor Struct 26, 717–745 (2018). https://doi.org/10.1007/s10485-017-9511-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-017-9511-1

Keywords

Navigation