A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Characterizations of axiomatic categories of models canonically isomorphic to (quasi-)varieties
1988
Canadian mathematical bulletin
Let Jt L (T) 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 oiJt L {T) for some algebraic constructions (involving products, equalizers, factorizations and kernel pairs): There is
doi:10.4153/cmb-1988-042-x
fatcat:osanfbd45vhbnnlz27buf7omye