J 2017

Metric abstract elementary classes as accessible categories

LIEBERMAN, Michael and Jiří ROSICKÝ

Basic information

Original name

Metric abstract elementary classes as accessible categories

Authors

LIEBERMAN, Michael (840 United States of America, belonging to the institution) and Jiří ROSICKÝ (203 Czech Republic, guarantor, belonging to the institution)

Edition

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

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10101 Pure mathematics

Country of publisher

United Kingdom of Great Britain and Northern Ireland

Confidentiality degree

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

Impact factor

Impact factor: 0.793

RIV identification code

RIV/00216224:14310/17:00094982

Organization unit

Faculty of Science

UT WoS

000410065300010

Keywords in English

metric abstract elementary class; accessible category; complete metric space

Tags

Změněno: 9/4/2018 10:43, Ing. Nicole Zrilić

Abstract

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.

Links

GBP201/12/G028, research and development project
Name: Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku
Investor: Czech Science Foundation