아벨 범주: 두 판 사이의 차이

'''그로텐디크 아벨 범주'''({{llang|en|Grothendieck Abelian category}}) <math>\mathcal C</math>는 생성원을 갖는 AB5 범주이다. 즉, 다음 조건을 만족시키는 대상 <math>G\in\mathcal C</math>가 존재한다.

* <math>\hom_{\mathcal C}(G,-)\colon\mathcal C\to\operatorname{Set}</math>는 [[충실한 함자]]이다.

 

== 예 ==