Homotopy hypothesis

In category theory, a branch of mathematics, Grothendieck's homotopy hypothesis states, homotopy theory speaking, that the ∞-groupoids are spaces.

One version of the hypothesis was claimed to be proved in the 1991 paper by Kapranov and Voevodsky. Their proof turned out to be flawed and their result in the form interpreted by Carlos Simpson is now known as the Simpson conjecture.

In higher category theory, one considers a space-valued presheaf instead of a set-valued presheaf in ordinary category theory. In view of homotopy hypothesis, a space here can be taken to an ∞-groupoid.