$\lambda$-presentable objects in a locally $\lambda$-presentable category

Question

In Adamek and Rosickys' Locally Presentable and Accessible Categories, I came across the following statement (I'm paraphrasing),

every $\mu$-presentable object in a locally $\lambda$-presentable category (for regular cardinals $\mu\geq\lambda$) is a $\mu$-small colimit of $\lambda$- presentable objects. The proof is rather technical, however the following weaker statement is trivial: each $\mu$-presentable object is a split quotient of a $\mu$-small colimit of $\lambda$-presentable objects.

The book then goes on to prove the second statement. But, doesn't this statement directly prove the first as a split quotient can be expressed as a coequaliser between the corresponding split idempotent and the identity map, making it a coequaliser of a $\mu$-small colimit of $\lambda$-presentable objects and hence a $\mu$-small colimit of $\lambda$-presentable objects itself?

Answer 1

Suppose $X_j$ is a diagram with shape having $\Omega$ many $\lambda$-presentable objects and $\Omega\leq \kappa<\mu$ many morphisms, and $X_j\xrightarrow{f_j}X$ its colimit. When $\lambda\leq\mu$, the $\lambda$-presentable $X_j$ are also $\mu$-presentable, so $X$ is $\mu$-small colimit of $\mu$-presentable objects, and hence $\mu$-presentable.

As a special case, any (split) quotient $X\rightrightarrows X\to Z$, $Z$ is also $\mu$-presentable since it is the colimit of a finite diagram of $\mu$-presentable objects.

By combining the two diagrams, you get that $Z$ is the colimit of the diagram $X_j\xrightarrow{f_j}X\rightrightarrows X$, whose shape has size at least $2^{\Omega}+\kappa$, which may be larger than $\mu$ if $2^\Omega>\mu$. In particular, the resulting diagramin does not have to be $\mu$-small. For this reason, the converse of the first statement does not follow directly from the converse of the second.