Metric abstract elementary classes as accessible categories
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F17%3A00094982" target="_blank" >RIV/00216224:14310/17:00094982 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1017/jsl.2016.39" target="_blank" >http://dx.doi.org/10.1017/jsl.2016.39</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/jsl.2016.39" target="_blank" >10.1017/jsl.2016.39</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Metric abstract elementary classes as accessible categories
Popis výsledku v původním jazyce
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ázev v anglickém jazyce
Metric abstract elementary classes as accessible categories
Popis výsledku anglicky
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.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GBP201%2F12%2FG028" target="_blank" >GBP201/12/G028: Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2017
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
The Journal of Symbolic Logic
ISSN
0022-4812
e-ISSN
—
Svazek periodika
82
Číslo periodika v rámci svazku
3
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
19
Strana od-do
1022-1040
Kód UT WoS článku
000410065300010
EID výsledku v databázi Scopus
—