Elementary categories

DOI10.1007/BF01194392MaRDI QIDQ1115956zbMATH OpenOpenAlexFDO

Authors Jiří Rosický

Publication date 1989

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01194392

zbMATH Keywords

categories of modelscategory of many-sorted setscompact Hausdorff spacefinitely presentable generatorlocally finitely presentable categoryone-sorted finitary first- order theories

Mathematics Subject Classification ID

Other classical first-order model theory (03C68) General theory of categories and functors (18A99) Special categories (18B99)

Review text

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)]).

Recommendations

• On an essentially algebraic theory for locally presentable categories
• scientific article; zbMATH DE number 4101436
• Models of Horn theories revisited
• scientific article; zbMATH DE number 918299
• scientific article; zbMATH DE number 3884158

Cites work

• scientific article; zbMATH DE number 3536298 (Why is no real title available?)
• Limites in Kategorien von Relationalsystemen
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• More on Compact Hausdorff Spaces and Finitary Duality
• Some Results on Locally Finitely Presentable Categories

Cited in

(6)

• More on directed colimits of models
• Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete
• scientific article; zbMATH DE number 4101436 (Why is no real title available?)
• Finitary sketches and finitely accessible categories
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• A characterisation of the category of compact Hausdorff spaces

This page was built for publication: Elementary categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1115956)