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をとったものを考え…