Nerve-Lemma

Eine Aussage, die den Homotopietyp eines topologischen Raums, der von einer Familie von Mengen überdeckt wird, mit dem simplizialen Nerf dieser Überdeckung in Beziehung setzt: Ist die Überdeckung 'gut' (jede endliche nichtleere Schnittmenge der Überdeckungsmenge ist kontrahierbar), so ist der Nerf als simplizialer Komplex homotopieäquivalent zur Vereinigung (zum ursprünglichen Raum).