Metric abstract elementary classes as accessible 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	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	https://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:	Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku