  We develop some basic homological theory of hopfological algebra as defined
by Khovanov. Several homological properties in hopfological algebra analogous
to those of usual homological theory of DG algebras are obtained.
