Universal abstract elementary classes and locally multipresentable categories
Logic
2019-01-25 v4 Category Theory
Abstract
We exhibit an equivalence between the model-theoretic framework of universal classes and the category-theoretic framework of locally multipresentable categories. We similarly give an equivalence between abstract elementary classes (AECs) admitting intersections and locally polypresentable categories. We use these results to shed light on Shelah's presentation theorem for AECs.
Keywords
Cite
@article{arxiv.1707.09005,
title = {Universal abstract elementary classes and locally multipresentable categories},
author = {Michael Lieberman and Jiří Rosický and Sebastien Vasey},
journal= {arXiv preprint arXiv:1707.09005},
year = {2019}
}
Comments
14 pages. Some typos removed