>>745
コホモロジー全般を抽象的に取り扱える。