More on injectivity in locally presentable categories

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Autoři	ROSICKÝ J. ADÁMEK J. BORCEUX F.
Rok publikování	2002
Druh	Článek v odborném periodiku
Časopis / Zdroj	Theory and Applications of Categories
Fakulta / Pracoviště MU	Přírodovědecká fakulta
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:	Kategoriální metody teorie struktur a informatiky Matematické struktury algebry a geometrie