[bbeonx]

Yeah, it assumes basic algebraic topology (which is not a mild assumption). He states at the top that he is assuming familiarity with homology groups, and chain complexes are used to define homology groups.