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.
New to topics? Read the docs here!
New to topics? Read the docs here!