ホモロジー代数を使えば定義や証明が簡単になるなんて、当たり前のこと過ぎて、何言ってんの？って感じ
ホモロジー代数の予備知識を仮定しないで教科書書いてるというだけの話