epsilon

落書き

2018-02-28から1日間の記事一覧

small object argument 5

https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf Z^fと\rho^f:Z^f \to Yを定義する。 まずZ^f_0 = X, \rho^f_0 = fとする。 Z^f_\betaと\rho^f_\betaが定まっているとき、Z^f_{\beta+1}と\rho^f_{\beta+1}を次のよう…