No.1
米田、モナド、トポス
レス数: 9
概要: 普遍数学の構築
No.2
No.3
米田トポス
No.4
No.5
No.6
No.7
関西芸人か
No.8
No.9
Nat(Hom(A, -),F) ～ F(A).
Fとして忘却関手Uを取ると,
Nat(Hom(A, -),U) ～ A.
これすなわち、任意の対象X, Yと射f∈Hom(X, Y)に対して,
τ_X
Hom(A, X) --> X
↓ ↓f
Hom(A, Y) --> Y
τ_Y
が可換となる自然変換τは, Aと一対一対応するということ.
その対応は,
τ --> τ_A(id_A)
で与えられる.
