Categories of additive imaginaries and spectra

Thu, 09/02/2012
17:00
Mike Prest (Manchester) Logic Seminar Add to calendar L3
To each additive definable category there is attached its category of pp-imaginaries. This is abelian and every small abelian category arises in this way. The connection may be expressed as an equivalence of 2-categories. We describe two associated spectra (Ziegler and Zariski) which have arisen in the model theory of modules.