In mathematics, the Lyusternik–Schnirelmann category of a topological space is the homotopy invariant defined to be the smallest integer number such that there is an open covering of with the property that each inclusion map is nullhomotopic.