アーベル圏

アーベル圏（アーベルけん、英: abelian category）とは（コ）チェイン複体のホモロジー/コホモロジーと層のコホモロジーの双方を展開するのに十分な構造を備えた圏である。アーベル圏となる圏の具体例としてはアーベル群の圏や環上の加群の圏、アーベル圏上の（コ）チェイン複体の圏、およびアーベル圏に値を取る前層や層の圏が挙げられる。