12. sn e l
様々な
の実装
Ln {e : s- v st: s- v- s
es gt :
> , e :
>
> }
直感的
s- (,v- s
> v
> )
arbeglaoc danomoc etatsoc
Fntrf= ( - fv - s- fs
uco
> v >
) >
>
の の実装に近い
snel lleksaH
.1
.2
.3
13. と
の関係
.2
.1
Ln {e : s- v st: s- v- s
es gt :
> , e :
>
> }
s- (,v- s
> v
> )
Fntrf= ( - fv - s- fs
uco
> v >
) >
>
は直積 g t s t であり、同値。
e e
>
,
<
.2
s
> tes, teg<
tes
s
v
)s
dns
v ,v (
teg
ts f
v
.3
.2
.1
14. .3
と
の関係
.2
Ln {e : s- v st: s- v- s
es gt :
> , e :
>
> }
s- (,v- s
> v
> )
Fntrf= ( - fv - s- fs
uco
> v >
) >
>
米田の補題を二回使うことで同値。
XF
) F ,)
, X(
)
, X(
steS
F
(
steS
.3
.2
.1
15. VF
V
) F ,)
, V(
× V(
steS
積と冪が随伴の関係であることから、
V
XF
V
VF
)
F
V ,)
V
, V(
X
として を用いると、
)
F
V ,)
, X(
(
(
steS
steS
について、
考えると米田の補題より、
XF
V
X
steS
: F
任意の関手
なる関手を
17. )S
つまり、F n t r f = ( - f v - f s
uco
> v >
) >
と( , v > )
v - s は同値。
))S(
V( × V
V( × V
)S
))S(
,) V(
V(
ste S
s teS
steS
先に示しておいた関係により、
,)
,)
, V(steS × V(
steS
s teS
steS(
ste S
s teS
steS
を
とすれば、
23. S)) V ×
(
)
V × S
V(( =
V = S VM
danom e ta t s
積と冪の合成。
24. X))
V(
)V ×
V × )S
(( =
V( = S V W
danomo c e ta t so c
冪と積の合成。
25. ar b eg l ao c d a nomo c e t a t so c
) V × )S
V((
S = S VW
S
dt CSaevs=CSae( - s v
aa ott
ott v > )
casCmndwwee
ls ooa
hr
etat: ws- s
xrc :
>
dpiae: ws- w( s
ulct :
>
w )
isac Cmnd(ott s wee
ntne ooa CSae ) hr
-etat: ( - s v - s
-xrc : v > , ) >
etat(ott fv =fv
xrc CSae
)
-dpiae: ( - s v - ( - ( - s v,v
-ulct : v > , ) > v > v > , ) )
dpiae(ott fv =CSae(u- CSaefu v
ulct CSae
)
ott > ott
)
s- ( - s v
> v > , )
tp Ln sv=s- CSaevs
ye es
> ott
26. u s l tes = u )v s l tes( l tes
v = )v s l tes( l teg
s = )s l teg( s l tes
arbeglaoc danomoc
sn eL
、
の定義から、以下が成り立つ。
が満たす性質
27. adenoY dna ,serotS ,sesneL
nevohraaL nav nawT
表現は米田の補題から導ける
danomoc etatsoc eht rof sarbeglaoc eht era sesneL
arbeglaoc danomoc
sneL
の満たすべき性質は
の性質である
まとめ