最終更新日：2025/11/24
By the Yoneda lemma, any natural transformation from the Hom-functor represented by A to a functor F is uniquely determined by the element α_A(id_A) in F(A).
正解を見る
By the Yoneda lemma, any natural transformation from the Hom-functor represented by A to a functor F is uniquely determined by the element α_A(id_A) in F(A).
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
