Geodesic
Characterizations of Axiomatic Categories of Models Canonically Isomorphic to (Quasi-)Varieties
Canadian mathematical bulletin, Tome 31 (1988) no. 3, pp. 287-300

Voir la notice de l'article provenant de la source Cambridge University Press

Let be the category of all homomorphisms (i.e. functions preserving satisfaction of atomic formulas) between models of a set of sentences T in a finitary first-order language L. Functors between two such categories are said to be canonical if they commute with the forgetful functors. The following properties are characterized syntactically and also in terms of closure of for some algebraic constructions (involving products, equalizers, factorizations and kernel pairs): There is a canonical isomorphism from to a variety (resp. quasivariety) in a finitary expansion of L which assigns to a model its (unique) expansion. This solves a problem of H. Volger.In the case of a purely algebraic language, the properties are equivalent to:“ is canonically isomorphic to a finitary variety (resp. quasivariety)” and, for the variety case, to “the forgetful functor of is monadic (tripleable)”.
DOI : 10.4153/CMB-1988-042-x
Mots-clés : Categories of models, preservation theorem, varieties, monadicity, 03C60, 08C10, 18C15 
Hébert, Michel. Characterizations of Axiomatic Categories of Models Canonically Isomorphic to (Quasi-)Varieties. Canadian mathematical bulletin, Tome 31 (1988) no. 3, pp. 287-300. doi: 10.4153/CMB-1988-042-x
@article{10_4153_CMB_1988_042_x,
     author = {H\'ebert, Michel},
     title = {Characterizations of {Axiomatic} {Categories} of {Models} {Canonically} {Isomorphic} to {(Quasi-)Varieties}},
     journal = {Canadian mathematical bulletin},
     pages = {287--300},
     year = {1988},
     volume = {31},
     number = {3},
     doi = {10.4153/CMB-1988-042-x},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1988-042-x/}
}
TY  - JOUR
AU  - Hébert, Michel
TI  - Characterizations of Axiomatic Categories of Models Canonically Isomorphic to (Quasi-)Varieties
JO  - Canadian mathematical bulletin
PY  - 1988
SP  - 287
EP  - 300
VL  - 31
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1988-042-x/
DO  - 10.4153/CMB-1988-042-x
ID  - 10_4153_CMB_1988_042_x
ER  - 
%0 Journal Article
%A Hébert, Michel
%T Characterizations of Axiomatic Categories of Models Canonically Isomorphic to (Quasi-)Varieties
%J Canadian mathematical bulletin
%D 1988
%P 287-300
%V 31
%N 3
%U http://geodesic.mathdoc.fr/articles/10.4153/CMB-1988-042-x/
%R 10.4153/CMB-1988-042-x
%F 10_4153_CMB_1988_042_x

[1] 1. Burris, S., Remarks on reducts of varieties, in Universal Algebra, Coll. Math. Soc. J. Bolyai (Esztergom 1977), pp. 161–168. Google Scholar

[2] 2. Chang, C. C., Keisler, H. J., Model Theory (North-Holland, Amsterdam, 1977). Google Scholar

[3] 3. Eklof, P. C., Ultraproducts for algebraists, in Handbook of Mathematical Logic (North-Holland, Amsterdam, 1977). Google Scholar

[4] 4. Gratzer, G., Universal Algebra (Springer-Verlag, New-York 1979). Google Scholar

[5] 5. Hatcher, W. S., Whitney, S., Characterizing categories of algebras, Algebra Universalis, 19 (1984), pp. 231–242. Google Scholar

[6] 6. Hébert, M., Sur le rang et la définissabilité des opérations implicites dans les classes d'algèbres, manuscript. Google Scholar

[7] 7. Herrera, J., Les théories convexes de Horn, C.R. Acad. Se. Paris Série A, 287 (1978), pp. 593–594. Google Scholar

[8] 8. Hodges, W., Functorial uniform reducibility, Fund. Math. 108 (1980), pp. 77–81. Google Scholar

[9] 9. Isbell, J. R., Subobjects, adequacy, completeness and categories of algebras, Rozprawy Mat. 36 (1964), pp. 3–33. Google Scholar

[10] 10. Lawvere, F. W., Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A 50 (1963), pp. 864–872. Google Scholar

[11] 11. Linton, F. E. J., Some aspects of equational categories, in Proceedings of the Conference of Categorical Algebra (La Jolla 1965) (Springer-Verlag, New-York, 1966). Google Scholar

[12] 12. MacLane, S., Categories for the Working Mathematician (Springer-Verlag, New-York, 1971). Google Scholar

[13] 13. Rabin, M. O., Classes of models and sets of sentences with the intersection property, Ann. Sci. Univ. Clermont 7 (1962), pp. 39–53. Google Scholar

[14] 14. Richter, M., Limites in Kategorien von Relationalsystemen, Z. Math. Logik Grundlagen Math. 17(1971), pp. 75–90. Google Scholar

[15] 15. Volger, H., Preservation theorems for limits of structures and global sections of sheaves of structures, Math. Z. 166 (1979), pp. 27–53. Google Scholar

Cité par Sources :