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