"극한 (범주론)"의 두 판 사이의 차이

크기가 바뀐 것이 없음 ,  2개월 전
잔글 (봇: 틀 이름 및 스타일 정리)
태그: m 모바일 웹
 
* <math>J</math>의 임의의 사상 <math>f\colon X\to Y</math>에 대해 <math>F(f)\circ\psi_X=\psi_Y</math>.
 
함자의 '''극한'''이란 한마디로 '''보편뿔'''({{llang|en|universal cone}})이다. 구체적으로 말해, <math>F</math>의 뿔 <math>(L, \phi_X)</math>이 <math>F</math>의 극한이라는 것은 <math>F</math>의 임의의 뿔 <math>(N, \psi_X)</math>에 대해 유일한 사상 <math>u\colon LN\to NL</math>이 존재해서 모든 <math>X</math>에 대해 <math>\phi_X\circ u=\psi_X</math>을 만족시키는 경우를 말한다. 이를 두고 사상 <math>\psi_X</math>들이 <math>L</math>을 통해 <math>u</math>로 유일하게 분해된다고 말할 수도 있다.
<div style="text-align: center;">[[파일:FunctorCone-03.png]]</div>
 
익명 사용자