9. snoi sn e t x e na K -
カン拡張
イスラエル、
名誉教授
極限や随伴の概念の一般化
のライブラリ D t . u c o . a . a L n
aaFntrKnRn a
)
)
,
TIM
(
( naK suniraM leinaD
lleksaH
10. snoi sn e t x e na K -
カン拡張
を圏、
を関手とする。
が の に沿った右カン拡張であるとは、
が
関手で、
が自然変換であり、任意の別のペア
に対して、
なる がただ一つ存在するこ
と。
この を
と書く。
: T ,
: K
: R
, ,
K
T
)K
T K na
(
)
,R(
KR :
=
R
T
)
, H(