En topología el concepto de categoría de Lusternik-Schnirelmann de un espacio topológico formula_1 es un invariante topológico definido como el mínimo número de conjuntos abiertos y contraibles necesarios para cubrir a formula_1.