米田の補題

10: 01/31(金)17:59 ID:Z6BvUlyL(1) AAS
FをCから(Sets)への関手とし、AをCの対象とする。
FがAにより表現可能であるとは、自然同型τ: h_A ～ Fが存在することである。
このとき、(A, τ_A(id_A))をFの普遍元という。