米田の補題 (15レス)
上
下
前
次
1-
新
10
: 01/31(金)17:59
ID:Z6BvUlyL(1)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
10: [] 2025/01/31(金) 17:59:27.02 ID:Z6BvUlyL FをCから(Sets)への関手とし、AをCの対象とする。 FがAにより表現可能であるとは、自然同型τ: h_A ~ Fが存在することである。 このとき、(A, τ_A(id_A))をFの普遍元という。 http://rio2016.5ch.net/test/read.cgi/math/1738287124/10
をからへの関手としをの対象とする がにより表現可能であるとは自然同型 が存在することである このとき をの普遍元という
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 5 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.008s