Metric abstract elementary classes as accessible categories

LIEBERMAN, Michael a Jiří ROSICKÝ. Metric abstract elementary classes as accessible categories. The Journal of Symbolic Logic. Cambridge: CAMBRIDGE UNIV PRESS, 2017, roč. 82, č. 3, s. 1022-1040. ISSN 0022-4812. Dostupné z: https://doi.org/10.1017/jsl.2016.39.

Základní údaje

Originální název

Metric abstract elementary classes as accessible categories

Autoři

LIEBERMAN, Michael a Jiří ROSICKÝ

Vydání

The Journal of Symbolic Logic, Cambridge, CAMBRIDGE UNIV PRESS, 2017, 0022-4812

---

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

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

Impakt faktor

Impact factor: 0.793

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14310/17:00094982

Organizační jednotka

Přírodovědecká fakulta

DOI

https://doi.org/10.1017/jsl.2016.39

UT WoS

000410065300010

EID Scopus

2-s2.0-85029647643

Klíčová slova anglicky

metric abstract elementary class; accessible category; complete metric space

Štítky

NZ, rivok

---

Anotace

V originále

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.

---

Návaznosti

GBP201/12/G028, projekt VaV

Název: Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku Investor: Grantová agentura ČR, Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku