English

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

R2 v1 2026-06-23T07:44:10.719Z