Model theory of functors: Axiomatizability problems Original Research Article

After setting down the needed facts of many-sorted model theory, we obtain model-theoretic characterizations of small preadditive coherent (perfect, noetherian) categories.