Last Updated：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.
See correct answer
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.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
ヨネダ関手は、与えられた圏 C の任意の対象 X を表現可能なホム関手 Hom_C(-, X) に対応させ、任意の射をヨネダ補題によってその射から一意に誘導される自然変換（自然同型）に対応させる関手である。
