https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf
lemma 2.1.13
Iの射のcoproductのpushoutはI-cell
X \to Yが{g_\alpha}のpushoutとする。
coproductの添え字をordinalとみなして、順番にXとのpushをとったものを考えればよい。
https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf
lemma 2.1.13
Iの射のcoproductのpushoutはI-cell
X \to Yが{g_\alpha}のpushoutとする。
coproductの添え字をordinalとみなして、順番にXとのpushをとったものを考えればよい。