데카르트 닫힌 범주: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Properideal (토론 | 기여) 잔글 →정의 |
Properideal (토론 | 기여) |
||
24번째 줄:
:<math>f_!\colon\mathcal C/X\to\mathcal C/Y</math>
:<math>f_!\colon g\mapsto f\circ g</math>
가 존재한다. 만약 <math>\mathcal C</math>가 [[유한 완비 범주]]라면
:<math>f^*\colon\mathcal C/Y\to\mathcal C/X</math>
:<math>f^*\colon (g\colon A\to Y)\mapsto (g_X\colon A\times_YX\to X)</math>
[[유한 완비 범주]] <math>\mathcal C</math>에서 다음 두 조건이 서로 [[동치]]이며, 이를 만족시키는 [[유한 완비 범주]]를 '''국소 데카르트 닫힌 범주'''({{llang|en|locally Cartesian closed category}})라고 한다.
| |||