The Lusternik–Schnirelmann category has been described in different ways. Two major ones, the first by Ganea, the second by Whitehead, are presented here with a number of variants. The equivalence of these variants relies on the axioms of Quillen's model category, but also sometimes on an additional axiom, the so-called “cube axiom”.