Abelian categories and definable additive categories
Category Theory
2012-02-03 v1 Logic
Rings and Algebras
Representation Theory
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".
Cite
@article{arxiv.1202.0426,
title = {Abelian categories and definable additive categories},
author = {Mike Prest},
journal= {arXiv preprint arXiv:1202.0426},
year = {2012}
}