Difference between r1.8 and the current
@@ -1,4 +1,5 @@
#noindex
basic:
##=====극한,limit =,limit 극한 limit
section 나누기 todo, 대충basic:
@@ -10,6 +11,9 @@
이렇게?
----
Sub:
[[극한점,limit_point]]
----
[[범주,category]] [[범주론,category_theory]]의 limit은 pagename을.... 어떻게 하는게 최선?[[Libre:극한_(범주론)]] = https://librewiki.net/wiki/극한_(범주론)
@@ -34,6 +38,9 @@
[[보편성질,]] =보편성질, { Ggl:보편성질 Ggl:"보편성질 범주론" Ggl:"universal property category theory" universal property ???? chk ... WtEn:universal_property }
[[성질,property]] ?
= limit의 dual은 colimit =
https://ncatlab.org/nlab/show/colimit
[[성질,property]] ?
= 함자의 극한은 보편뿔 =
[[함자,functor]]의 [[극한,limit]]은 universal_cone.
https://ncatlab.org/nlab/show/colimit
section 나누기 todo, 대충
극한_(범주론) = https://librewiki.net/wiki/극한_(범주론)mentions
곱 - eng? 곱,product??과 같은? 그럼 범주론의 product 을 다루는 pagename?
pullback 당김,pullback
pullback 
범주론 pullback pullback category theory
universal_cone =,universal_cone . universal_cone
다이어그램,diagram ... is 공변함자, =,공변함자, {공변함자 
공변함자 
공변함자 }
보편성질, =보편성질, {보편성질 보편성질 범주론 universal property category theory universal property ???? chk ... universal_property }
곱 - eng? 곱,product??과 같은? 그럼 범주론의 product 을 다루는 pagename?
pullback 당김,pullback
pullback 범주론 pullback pullback category theory이것의 쌍대,dual는 밂,pushout. (wk)
당김_(범주론) = https://ko.wikipedia.org/wiki/당김_(범주론) = https://ko.wikipedia.org/wiki/당김_(범주론)
Pullback_(category_theory) = https://en.wikipedia.org/wiki/Pullback_(category_theory)
引き戻し_(圏論) = https://ja.wikipedia.org/wiki/引き戻し_(圏論)
https://ncatlab.org/nlab/show/pullback
inverse_limit =,inverse_limit . inverse_limit당김_(범주론) = https://ko.wikipedia.org/wiki/당김_(범주론) = https://ko.wikipedia.org/wiki/당김_(범주론)Pullback_(category_theory) = https://en.wikipedia.org/wiki/Pullback_(category_theory)"
引き戻し_(圏論) = https://ja.wikipedia.org/wiki/引き戻し_(圏論)https://ncatlab.org/nlab/show/pullback
universal_cone =,universal_cone . universal_cone
다이어그램,diagram ... is 공변함자, =,공변함자, {
공변함자 공변함자 공변함자 }보편성질, =보편성질, {
보편성질 보편성질 범주론 universal property category theory universal property ???? chk ... universal_property }