モデル圏 の対象 に対し，圏 を を対象とし，自然な可換図式を射とする圏とする．ただし， は weak equivalence． 各 の nerve をとることにより，モデル圏 から単体圏が得られる．その は のホモトピー圏である．

条件つき極値問題．