Joyal's extension and lifting theorems

In mathematics, Joyal's theorem is a theorem in homotopy theory that provides necessary and sufficient conditions for the solvability of a certain lifting problem involving simplicial sets. In particular, in higher category theory, it proves the statement "an ∞-groupoid is a Kan complex", which is a version of the homotopy hypothesis.

This neuron ends here.