Elementary categories (Q1115956): Difference between revisions

The paper contributes to the problem of characterizing categories of models of usual one-sorted finitary first-order theories. Any locally finitely presentable category with a finitely presentable generator is of this kind. Surprisingly, the same is true for any category of many-sorted sets. (This result was further developed by \textit{G. Jarzembski} [Finitary fibrations, Cah. Topologie Géom. Differ. (to appear)].) Finally, Bankston's conjecture is proved (independently of \textit{B. Banaschewski} [Can. J. Math. 36, 1113-1118 (1984; Zbl 0561.18004)]).