Z^f_\betaと\rho^f_\betaが定まっているとき、Z^f_{\beta+1}と\rho^f_{\beta+1}を次のように定める。\rho^f_\betaとなるような可換図式全体の集合とする。このg全体のocproductをとり、Z^f_\betaとのpushoutをZ^f_{\beta+1}とし、\rho^f_\betaからpushの普遍性により誘導される射を\rho^f_{\beta+1}とする。\rho^f_\betaを定める。11月別アーカイブはてなブログをはじめよう!unaoyaさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。