J 2002

More on injectivity in locally presentable categories

ROSICKÝ, J., J. ADÁMEK a F. BORCEUX

Základní údaje

Originální název

More on injectivity in locally presentable categories

Autoři

ROSICKÝ, J. (203 Česká republika, garant), J. ADÁMEK (203 Česká republika) a F. BORCEUX (56 Belgie)

Vydání

Theory and Applications of Categories, Halifax, 2002, 1201-561X

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Kanada

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14310/02:00005624

Organizační jednotka

Přírodovědecká fakulta

Klíčová slova anglicky

locally presentable category; injectivity class

Štítky

Změněno: 8. 4. 2005 16:31, prof. RNDr. Jiří Rosický, DrSc.

Anotace

V originále

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.

Návaznosti

GA201/96/0119, projekt VaV
Název: Kategoriální metody teorie struktur a informatiky
Investor: Grantová agentura ČR, Kategoriální metody teorie struktur a informatiky
MSM 143100009, záměr
Název: Matematické struktury algebry a geometrie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury algebry a geometrie