アーベル圏

アーベル圏（Abelian category）とは、任意の射が核と余核をもつなど、いくつかの条件を満たす圏のクラスである。完全列の概念を定式化することができることと鎖複体からホモロジーやコホモロジーを取り出せることから、ホモロジー代数を展開する土台として基本的な役割を果たす。実際、環上の加群のなす圏や位相空間上の加群に値を取る層のなす圏などを例として持ち、それぞれの圏で個別に展開されていたホモロジー代数はアーベル圏において統一的に扱うことができる。