  Higher extensions and higher central extensions, which are of importance to
non-abelian homological algebra, are studied, and some fundamental properties
are proven. As an application, a direct proof of the invariance of the higher
Hopf formulae is obtained.
