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

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
24번째 줄:
 
=== 밑 변환 ===
범주 <math>\mathcal C</math>의 사상에 대한 어떤 성질 <math>\mathfrak P</math>가 주어졌다고 하자. (즉, <math>\mathcal C</math>의 사상들의 [[모임 (집합론수학)|모임]] <math>\mathfrak P\subseteq\operatorname{Mor}(\mathcal C)</math>가 주어졌다고 하자.)
 
만약 모든 <math>\mathfrak P</math> 사상 <math>f\colon X\to Y</math> 및 임의의 사상 <math>Y'\to Y</math>에 대하여 밑 변환 <math>f'\colon X\times_YY'\to Y'</math> 역시 <math>\mathfrak P</math> 사상이라면, <math>\mathfrak P</math>를 '''밑 변환에 대하여 안정적인 성질'''({{llang|en|property invariant under base change}})이라고 한다.