米田の補題

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内, 検索

米田の補題(よねだのほだい、Yoneda's Lemma)とは、共変hom函手hom(R,-)から、(ドメインが小さなhom集合を持つ圏である)集合値函手Sへの自然変換が、(Rの恒等射に対応する)S(R)の要素から一意的に定まるという定理である。

個人用ツール
名前空間
変種
操作
案内
ヘルプ
ツールボックス
他の言語