Functors from the infinitary model theory of modules and the Auslander-Gruson-Jensen 2-functor

Samuel Dean

We define the notion of a $\lambda$-definable category, a generalisation of the notion of definable category from the model theory of modules. Let $\mathcal{C}$ be a $\lambda$-accessible additive…