Abelian categories and definable additive categories
classification
🧮 math.CT
math.LOmath.RAmath.RT
keywords
categoriesabeliancategoryadditivecoherentdefinablefunctorsalgebra
read the original abstract
We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent abelian categories and coherent morphisms. These categories link algebra, model theory and "geometry".
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.