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}を次のように定める。
Sをg:A \to B \in Iでg \to \rho^f_\betaとなるような可換図式全体の集合とする。
このg全体のocproductをとり、Z^f_\betaとのpushoutをZ^f_{\beta+1}とし、\rho^f_\betaからpushの普遍性により誘導される射を\rho^f_{\beta+1}とする。
さらにlimit ordinal \betaで任意の\alpha < \betaでZ^f_\alpha, \rho^f_\alphaが定まっているとき、これのcolimitとしてZ^f_\beta, \rho^f_\betaを定める。
