Model theory of functors: Axiomatizability problems

[摘要] After setting down the needed facts of many-sorted model theory, we obtain model-theoretic characterizations of small preadditive coherent (perfect, noetherian) categories. (C) 1997 Elsevier Science B.V.

[发布日期] 1997-07-07