Sizes and filtrations in accessible categories
Logic
2019-06-06 v3
Abstract
Accessible categories admit a purely category-theoretic replacement for cardinality: the internal size. Generalizing results and methods from arXiv:1708.06782, we examine set-theoretic problems related to internal sizes and prove several L\"owenheim-Skolem theorems for accessible categories. For example, assuming the singular cardinal hypothesis, we show that a large accessible category has an object in all internal sizes of high-enough cofinality. We also prove that accessible categories with directed colimits have filtrations: any object of sufficiently high internal size is (the retract of) a colimit of a chain of strictly smaller objects.
Keywords
Cite
@article{arxiv.1902.06777,
title = {Sizes and filtrations in accessible categories},
author = {Michael Lieberman and Jiří Rosický and Sebastien Vasey},
journal= {arXiv preprint arXiv:1902.06777},
year = {2019}
}
Comments
27 pages