argumentというのが大事でそこに必要らしいのでそれを見る。colimitを持つ圏とし、IをCの射の集合とする。Iの射のdomainはすべてI-cellに対してsmallとする。factorizationで任意のCの射fに対して\gamma(f)はI-cellであり、\delta(f)はI-injであるようなものが存在する。compositionのこと。X(\beta+1)がpushoutとなる。11月別アーカイブはてなブログをはじめよう!unaoyaさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。