large cocomplete category and thin category
Proposition
Let \(\mathcal{C}\) be a category, such that \(\mathcal{C}\) admits \(\vert \mathrm{Mor}(\mathcal{C}) \vert\) sized coproducts.
Then \(\mathcal{C}\) is a thin category
Proof
Let \(f,g: c_1 \rightarrow c_2\) be different morphisms.
Let \(J \coloneqq \mathrm{Mor}(\mathcal{C})\)
Then consider
Then there exists a bijection
The left has at least cardinality \(\mathcal{P}(J)\), as for each \(j \in J\) we may choose one of \(f\) or \(g\).
But the right side has cardinality of at most \(J\)
contradiction to Satz von Cantor