cofibrantly generated model category 1

https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf

model cat Cがcofibrantly generatedとはmapのset I, Jがあって、

- Iの射のdomainはsmall relative to I-cell

- Jの射のdomainはsmall relative to J-cell

- fibrationの集まりはJ-inj

- trivial fibrationの集まりはI-inj

であることをいう。

またこのとき、Iをgenerating cofibrationの集合、Jをgenerating trivial cofibrationの集合という。