More on injectivity in locally presentable categories
Autoři | |
---|---|
Rok publikování | 2002 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Theory and Applications of Categories |
Fakulta / Pracoviště MU | |
Citace | |
Obor | Obecná matematika |
Klíčová slova | locally presentable category; injectivity class |
Popis | Injectivity with respect to morphisms having k-presentable domains and codomains is characterized: such injectivity classes are precisely those closed under products, k-directed colimits and k-pure subobjects. This sharpens the result of the first two authors. 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. |
Související projekty: |