epsilon

落書き

small object argument 3

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をとったものを考えればよい。