Abstract
AbstractWe study how tensor categories can be presented in terms of rigid monoidal categories and Grothendieck topologies and show that such presentations lead to strong universal properties. As the main tool in this study, we define a notion on preadditive categories which plays a role similar to (a generalisation of) the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define the sheaf category. This new notion also allows us to study the noetherian and subcanonical nature of additive topologies, to describe easily the join of a family of additive topologies and to identify useful universal properties of the sheaf category.
Funder
Australian Research Council
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference22 articles.
1. Adámek, J., Rosický, J.: Reflections in locally presentable categories. Arch. Math. (Brno) 25(1–2), 89–94 (1989)
2. Artin, M., Grothendieck, A., Verdier, J.-L.: Théorie des topos et cohomologie étale des schémas, 1. Springer, Berlin, 1972–73, (SGA4). Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat, Lecture Notes in Mathematics, vol. 270
3. Borceux, F., Quinteiro, C.: A theory of enriched sheaves. Cahiers Topologie Géom. Différentielle Catég. 37(2), 145–162 (1996)
4. Coulembier, K.: Tensor ideals, Deligne categories and invariant theory. Sel. Math. (N.S.) 24(5), 4659–4710 (2018)
5. Coulembier, K.: Monoidal abelian envelopes. Compos. Math. 157(7), 1584–1609 (2021)