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

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
잔글편집 요약 없음
22번째 줄:
보다 일반적으로, 1을 가진 환 <math>R</math>에 대한 좌[[가군]]들과 가군 준동형사상들의 범주 <math>_R\operatorname{Mod}</math> (또는 우가군들의 범주 <math>\operatorname{Mod}_R</math>)은 아벨 범주를 이룬다. [[아벨 군]]은 정수 <math>\mathbb Z</math>에 대한 가군이므로, 이는 아벨 군의 범주를 일반화한 것이다.
 
<math>X</math>가 [[위상 공간 (수학)|위상 공간]]이라고 하자. 그렇다면, 이 위에 [[아벨 군]] 값을 가진 [[층 (수학)|층]]들의 범주 <math>\operatorname{Sh}_X^{\operatorname{Ab}}</math> 또한 아벨 범주를 이룬다. (보다 일반적으로, 이는 [[그로텐디크 위상]]에 대하여 정의할 수 있다.) 반면, 위상 공간 위에 존재하는 [[벡터 다발]]들의 범주는 아벨 범주가 아니다. 이는 [[핵 (수학)|핵]]이 아닌 단사사상이[[단사 사상]]이 존재하기 때문이다.
 
== 역사 ==