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

내용 삭제됨 내용 추가됨
111번째 줄:
=== 위상 공간 ===
[[위상 공간 (수학)|위상 공간]]의 범주에서, <math>X\to Z\leftarrow Y</math>의 당김은 [[곱공간]] <math>X\times Y</math>의 다음과 같은 [[부분 공간]]이다.
:<math>X\times_ZY=\{(x,y)\in X\times Y\colon f(x)=f(y)\}\subseteq X\times Y</math>
집합으로서 이는 집합의 범주에서의 당김과 같다.