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の集合という。