「圏の余鎖複体：とりあえず単純（トリビアル？）なケース」の続きです。圏C上で一般化された係数を持つコチェーン、コバウンダリを定義します。コホモロジーを考えるというよりは、コバウンダリ条件を記述する等式自体を観察する感じです。G係数コチェーン…