元ネタ：Homotopy theories and model categories W.G.Dwyer and J.Spalinski問題 問28 左導来関手の定義を述べよ。 答28 問29 右導来関手の定義を述べよ。 答29 問30 以下を示せ。 が自明なコファイブレーションを同型にうつす関手とする。 このとき、 。 …