pith. sign in

arxiv: 1902.06777 · v3 · pith:KJMPSBLLnew · submitted 2019-02-18 · 🧮 math.LO

Sizes and filtrations in accessible categories

classification 🧮 math.LO
keywords accessiblecategoriesinternalsizesfiltrationsobjectprovesize
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.