아벨 범주: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
→역사: 봇: 인용 틀 변수 이름 수정 |
Osteologia (토론 | 기여) 잔글편집 요약 없음 |
||
8번째 줄:
** 모든 [[단사 사상]]과 [[전사 사상]]이 [[정규 사상]]이다. 즉, 모든 단사 사상은 다른 사상의 [[핵 (수학)|핵]]이고, 모든 전사 사상은 다른 사상의 [[여핵]]이다.
* <math>\mathcal C</math>는 다음 성질들을 만족시킨다.
** (준가법성 {{llang|en|preadditivitiy}}) <math>\mathcal C</math>는 [[아벨 군]]의 범주 <math>\operatorname{Ab}</math>
** (가법성) <math>\mathcal C</math>의 임의의 유한 개의 원소 <math>A_1,\dots,A_n</math>에 대하여, [[곱 (범주론)|곱]] <math>A_1\times A_2\times\cdots\times A_n</math>과 [[쌍대곱]] <math>A_1\coprod A_2\coprod\cdots\coprod A_n</math>이 항상 존재한다. (준가법성에 따라서, 유한 곱은 유한 [[쌍대곱]]과 같다.)
** (준아벨성 {{llang|en|pre-Abelian}}) 모든 [[사상 (수학)|사상]]이 [[핵 (범주론)|핵]]과 [[여핵]]을 가진다.
| |||