モデル圏とは，３つの射のクラス，cofibration (cof)，fibration (fib)，weak equivalence (weq) が与えられている圏で，次の公理をみたすものである． （M1）（小）余極限，（小）極限が存在する． （M2）射 に対し， のうち２つが weq ならば，もう１つもw…