Quillen's lemma

Quillen's lemma is a result in algebraic topology, specifically within the context of homotopy theory. It deals with the properties of certain types of simplicial sets and the concept of "Kan complexes.