https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf
example 2.1.6
Rを環としR-modがsmallであることを示す。
AをR-modとし、¥kappaを¥abs{A}(¥abs{A} + ¥abs{R})とする。
¥lambdaを¥kappa-filtered ordinalとしXを¥lambda-seq of R-modとする。
setとしてはsmallなのでf:A ¥to colim Xはsetの射としてあるg:A ¥to X_¥alphaを経由する。
gはR-modの射とは限らないが、colimに行ってR-modの射になるので、各x, y ¥in Aとr ¥in Rについてg(x+y)=g(x)+g(y), g(rx)=rg(x)が成立する¥beta<¥lambdaが存在する。
これのsupを取ればここでR-modの射となり、smallであることがわかる。