In a locally presentable category, is every object (a retract of) the colimit of a chain of smaller objects?

The last Remark in my joint paper gives a positive answer to the Question.


Since this result is derived by Lieberman, Rosicky, and Vasey as a corollary of some more sophisticated constructions with more sophisticated goals, I think it might be worth "compiling out" the proof here. It turns out to be not so bad. Let $\mathcal C$ be a locally $\lambda$-presentable category, and recall the following fact:

For any $C \in \mathcal C$, if $\mathrm{rk}(C) > \lambda$, then $\mathrm{rk}(C) = \kappa^+$ is a successor. (Proof hint: $\kappa$ is the smallest cardinal such that $C$ is a retract of a $\kappa$-sized colimit of $\lambda$-presentable objects.)

Theorem [Lieberman, Rosicky, and Vasey] Let $\mathcal C$ be a locally $\lambda$-presentable category and let $C \in \mathcal C$ with $\mathrm{rk}(C) = \kappa^+ > \lambda$. Then $C$ is almost filtrable.

Proof: Write $C = \varinjlim_{i \in I} C_i$ as a colimit of $\lambda$-presentable objects. Then $C$ is a retract of the colimit of a $\kappa^+$-small subdiagram, so we may assume without loss of generality that the diagram $I$ is of cardinality $\kappa$. We may write $I = \cup_{\alpha < \mathrm{cf}(\kappa)} I_\alpha$ as the union of a $\mathrm{cf}(\kappa)$-sized increasing chain of subdiagrams of cardinality $|I_\alpha| <\kappa$. Setting $C_\alpha = \varinjlim_{i \in I_\alpha} C_i$, we have $C = \varinjlim_{\alpha < \mathrm{cf}(\kappa)} C_\alpha$, yielding the desired filtration.