0297132人目の素数さん垢版 | 大砲2018/12/12(水) 11:29:40.47ID:nCirm4VM >>274 代数幾何学でコホモロジーを定義するとき、アーベル圏の導来関手として扱うのが一番一般的で、やりようによっては解りやすい。 有名なハーツホーンの本も明解で解りやすい。 ただ圏論を一から始め、コホモロジーを定義するための構成手続きは、非常に面倒くさい。