それならホモロジー代数から入ればいい