最終更新日：2025/12/05
The Yoneda functor sends each object X in a category C to the representable hom functor Hom_C(-, X) and sends each morphism to the natural transformation uniquely induced by that morphism according to the Yoneda lemma.
正解を見る
The Yoneda functor sends each object X in a category C to the representable hom functor Hom_C(-, X) and sends each morphism to the natural transformation uniquely induced by that morphism according to the Yoneda lemma.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
ヨネダ関手は、与えられた圏 C の任意の対象 X を表現可能なホム関手 Hom_C(-, X) に対応させ、任意の射をヨネダ補題によってその射から一意に誘導される自然変換（自然同型）に対応させる関手である。
