まずはmodel圏の定義から。 圏Cのmodel strとは、Cの三つの部分圏と二つのfunctorial factorization (a,b), (c,d)で以下をみたすもの。それぞれweak equivalence, cofibration, fibrationと呼ばれる。 functorial factorization (a,b)とは関手a, b:MapC \to …