Relations between category and strong category are studied. The notion of a homotopy coalgebra of order r over the Ganea comonad is introduced. It is shown that cat(X) =Cat(X) holds if a finite 1-connected complex X carries such a structure with r sufficiently large