The Stacks project

Proof. Please compare with Proposition 19.2.5. We need only show that the map (19.2.0.1) is a surjection. Let $f : M \to \mathop{\mathrm{colim}}\nolimits B_\beta $ be a map. Consider the subobjects $\{ f^{-1}(B_\beta )\} $ of $M$, where $B_\beta $ is considered as a subobject of the colimit $B = \bigcup _\beta B_\beta $. If one of these, say $f^{-1}(B_\beta )$, fills $M$, then the map factors through $B_\beta $.

So suppose to the contrary that all of the $f^{-1}(B_\beta )$ were proper subobjects of $M$. However, because $\mathcal{A}$ has AB5 we have

Now there are at most $\kappa $ different subobjects of $M$ that occur among the $f^{-1}(B_\alpha )$, by hypothesis. Thus we can find a subset $S \subset \alpha $ of cardinality at most $\kappa $ such that as $\beta '$ ranges over $S$, the $f^{-1}(B_{\beta '})$ range over all the $f^{-1}(B_\alpha )$.

However, $S$ has an upper bound $\widetilde{\alpha } < \alpha $ as $\alpha $ has cofinality bigger than $\kappa $. In particular, all the $f^{-1}(B_{\beta '})$, $\beta ' \in S$ are contained in $f^{-1}(B_{\widetilde{\alpha }})$. It follows that $f^{-1}(B_{\widetilde{\alpha }}) = M$. In particular, the map $f$ factors through $B_{\widetilde{\alpha }}$. $\square$