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

648 바이트 추가됨 ,  5년 전
편집 요약 없음
함자의 '''극한'''이란 한마디로 [[보편뿔]]이다. 구체적으로 말해, F의 뿔 (L, φ<sub>X</sub>)이 F의 극한이라는 것은 F의 임의의 뿔 (N, ψ<sub>X</sub>)에 대해 유일한 사상 u : N → L이 존재해서 모든 X에 대해 φ<sub>X</sub> o u = ψ<sub>X</sub>을 만족시키는 경우를 말한다. 이를 두고 사상 ψ<sub>X</sub>들이 L을 통해 u로 유일 분해된다고 말할 수도 있다.
<div style="text-align: center;">[[그림:FunctorCone-03.png]]</div>
 
== 참고 문헌 ==
*{{책 인용 |last=Mac Lane |first=Saunders |저자고리=손더스 매클레인|제목=Categories for the working mathematician |publisher=Springer |날짜=1998 |판=2판 |series=Graduate Texts in Mathematics|issn=0072-5285|권= 5 |isbn=978-1-4419-3123-8 | zbl=0906.18001 | mr=1712872 |doi=10.1007/978-1-4757-4721-8|언어고리=en }}
 
== 바깥 고리 ==
* {{eom|title=Inductive limit}}
* {{eom|title=Projective limit}}
* {{웹 인용|제목=Limit|url=http://ncatlab.org/nlab/show/limit|작품명=nLab|언어고리=en}}
* {{웹 인용|제목=Colimit|url=http://ncatlab.org/nlab/show/colimit|작품명=nLab|언어고리=en}}
 
[[분류:극한 (범주론)| ]]