Quillen equivalence

Summary

A Quillen equivalence is a Quillen adjunction between two model categories that induces an equivalence of their homotopy categories. It is the right notion of "same homotopy theory" for model categories. The basic example is the adjunction between simplicial sets and topological spaces given by geometric realization and the singular complex. It shows that both categories model the same homotopy theory of spaces.