Lusternik–Schnirelmann category for categories and classifying spaces