Elementary categories (Q1115956): Difference between revisions
From MaRDI portal
Latest revision as of 10:16, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Elementary categories |
scientific article |
Statements
Elementary categories (English)
0 references
1989
0 references
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)]).
0 references
compact Hausdorff space
0 references
categories of models
0 references
one-sorted finitary first- order theories
0 references
locally finitely presentable category
0 references
finitely presentable generator
0 references
category of many-sorted sets
0 references