Informace o publikaci

Metric abstract elementary classes as accessible categories

Logo poskytovatele
Autoři

LIEBERMAN Michael ROSICKÝ Jiří

Rok publikování 2017
Druh Článek v odborném periodiku
Časopis / Zdroj The Journal of Symbolic Logic
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
Doi http://dx.doi.org/10.1017/jsl.2016.39
Obor Obecná matematika
Klíčová slova metric abstract elementary class; accessible category; complete metric space
Popis We show that metric abstract elementary classes are coherent accessible categories with directed colimits, with concrete $\aleph_1$-directed colimits and concrete monomorphisms. More broadly, we define a notion of $\kappa$-concrete Abstract Elementary Class and develop the theory of such categories, beginning with a category-theoretic analogue of Shelah's Presentation Theorem and a proof of the existence of an Ehrenfeucht-Mostowski functor in case the category is large.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info