層係数コホモロジーを参照。