Applications of (higher) categorical trace I: the definition of AGCat
arXiv:2512.21726
Abstract
In this paper we record the formalism of algebro-geometric DG categories (in short AGCat) following a suggestion of V. Drinfeld. This formalism will be applied to ``real-world" problems in papers sequel to this one, [GRV2] and [GRV3].