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

[[대수적대수 구조 다양체]]로 정의되는 범주의 경우, 당김이 항상 존재하며, 보통 '''올곱'''으로 불린다. 다음과 같은 [[대수적대수 구조]] 및 [[준동형사상]]

이 경우 사상 <math>X\times_ZY\to X</math>, <math>X_\times ZY\to Y</math>는 자연스러운 사영 함수 <math>(x,y)\mapsto x</math>, <math>(x,y)\mapsto y</math>이다. 예를 들어, [[집합]]과 [[함수]]의 범주 <math>\operatorname{Set}</math>는 아무런 연산을 갖지 않는 [[대수적대수 구조]]이므로 당김이 존재한다. 마찬가지로, [[군 (수학)|군]]의 범주 <math>\operatorname{Grp}</math>, [[아벨 군]]의 범주 <math>\operatorname{Ab}</math>, [[유사환]]의 범주 <math>\operatorname{Rng}</math>, [[환 (수학)|환]]의 범주 <math>\operatorname{Ring}</math>, [[가환환]]의 범주 <math>\operatorname{CRing}</math> 등에서도 모두 당김이 존재한다.