We develop some basic homological theory of hopfological algebra as defined by Khovanov [Hopfological algebra and categorification at a root of unity: the first steps, Preprint (2006), arXiv:math/0509083v2]. Several properties in hopfological algebra analogous to those of usual homological theory of DG algebras are obtained.