Seminários de Lógica Matemática

18 de Setembro 2008, 18h00

Additive imaginaries and interpretation functors
Complexo Interdisciplinar, Sala B3-01

MIKE PREST (University of Manchester)

Abstract:

When dealing with the model theory of modules or other additive structures it is natural to use, not the full category of imaginaries, rather the category of pp-defined imaginaries (then the resulting category of imaginaries is again additive). It turns out that there is a natural anti-equivalence linking interpretation functors between definable additive categories and exact functors between their categories of pp-imaginaries.

| back