완전 함자: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
2번째 줄:
== 정의 ==
[[아벨 범주]] <math>\mathcal C</math>와 <math>\mathcal D</math>가 주어졌다고 하자. 그렇다면, <math>\mathcal C</math>에서 <math>\mathcal D</math>로 가는 '''[[가법 함자]]'''({{llang|en|additive functor}})는 다음 성질을 만족시키는 [[함자 (수학)|함자]] <math>F\colon\mathcal C\to\mathcal D</math>이다.
* (가법성) 모든 대상 <math>A,B\in\mathcal C</math>에 대하여, <math>F|_{\hom(A,B)}\colon\hom(A,B)\to\hom(F(A),F(B))</math>는 [[아벨 군]]의 [[군 준동형]]이다.
| |||