당김 (범주론): 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
잔글편집 요약 없음
22번째 줄:
== 예 ==
=== 대수적 범주 ===
[[대수 구조 다양체]]로 정의되는 범주의 경우, 당김이 항상 존재하며, 보통 '''올곱'''으로 불린다. 다음과 같은 [[대수 구조]] 및 [[준동형사상준동형]]
:<math>X\xrightarrow fZ\xleftarrow gY</math>
의 당김은 다음과 같다.