Injectivity with respect to morphisms having $\lambda$-presentable domains and codomains is characterized: such injectivity classes are precisely those closed under products, $\lambda$-directed colimits, and $\lambda$-pure subobjects. This sharpens the result of the first two authors (Trans. Amer. Math. Soc. 336 (1993), 785-804). In contrast, for geometric logic an example is found of a class closed under directed colimits and pure subobjects, but not axiomatizable by a geometric theory. A more technical characterization of axiomatizable classes in geometric logic is presented.
Theory and Applications of Categories, Vol. 10, 2002, No. 7, pp 148-161 http://www.tac.mta.ca/tac/volumes/10/7/10-07.dvi http://www.tac.mta.ca/tac/volumes/10/7/10-07.ps http://www.tac.mta.ca/tac/volumes/10/7/10-07.pdf ftp://ftp.tac.mta.ca/pub/tac/html/volumes/10/7/10-07.dvi ftp://ftp.tac.mta.ca/pub/tac/html/volumes/10/7/10-07.psTAC Home