米田の補題 (15ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
7: １３２人目の素数さん [] 01/31(金)15:43 ID:8mbwPSfp(1)
τをh_AからFへの自然変換とする。
XをCの任意の対象とし、 f∈h_A(X)とする。
f = f . id_A = h_A(f)(id_A)であり、
τ_A
h_A(A) → F(A)
↓h_A(f) ↓F(f)
h_A(X) → F(X)
τ_X
が可換なので、
τ_X(f)
= (τ_X . h_A(f))(id_A)
= (F(f) . τ_A)(id_A)
= F(f)(τ_A(id_A))
よって、τ_A(id_A)がわかれば、τは決定される。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.195s*