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

크기가 바뀐 것이 없음 ,  2년 전
잔글
봇: 틀 이름 및 스타일 정리
잔글 (봇: 틀 이름 및 스타일 정리)
잔글 (봇: 틀 이름 및 스타일 정리)
 
함자의 '''극한'''이란 한마디로 '''보편뿔'''({{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 L\to N</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>
 
== 참고 문헌 ==

편집

1,379,853