Abstract
M. Richter has proved that whenever a classK of ∑-structures has a finitary first-order axiomatization then the inclusionK ↪Str ∑ preserves all existing directed colimits (see [7]). We will generalize this result to classes of ∑-structures having an infinitary first-order axiomatization in a larger signature ∑′. We will also show that, as categories, these classes have a natural characterization.
Similar content being viewed by others
References
J. Adámek and J. Rosický: Reflections in locally presentable categories,Arch. Math. (Brno) 25 (1989), 89–94.
J. Adámek and J. Rosický:Locally Presentable and Accessible Categories, Cambridge University Press, 1994.
M. A. Dickman:Large Infinitary Languages: Model Theory, North-Holland, 1975.
P. C. Eklof and A. M. Mekler:Almost Free Modules, Set-Theoretic Methods, North-Holland, 1990.
T. Jech:Set Theory, Academic Press, 1978.
M. Makkai and R. Paré: Accessible categories: the foundation of categorical model theory,Contemporary Math. 104, Amer. Math. Soc., 1989.
M. Richter: Limites in Kategorien von Relationsystemen,Z. Math. Logik Grundlag. Math. 17 (1971), 75–90.
Author information
Authors and Affiliations
Additional information
In honour of Dieter Pumplün on the occassion of his 60th birthday
Rights and permissions
About this article
Cite this article
Rosický, J. More on directed colimits of models. Appl Categor Struct 2, 71–76 (1994). https://doi.org/10.1007/BF00878503
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF00878503