https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf
濃度に関する議論をしておく。
Cがcat with all small colimitとし\lambdaをordinalとする。
- \lambda-seq in Cとはcolim-preserving functor X:\lambda \to Cのこと
- \gammaをordinalとしordinal \alphaが\gamma-filteredとはlimit ordinalであり、A \subset \alphaかつcard(A) \leq \gammaならsup A < \alpha。supとは?