Ljusternik-Schnirelman (Lyusternik-Shnirel'man) category of a space Classical topics mathematics