最終更新日：2024/08/06
(category theory) A functor from a given category to the category of functors from that given category to Set (the category of sets) which maps any object of the given category to a hom functor represented by that object and any morphism to a natural isomorphism induced uniquely by that morphism according to the Yoneda lemma.
正解を見る
Yoneda functor
編集履歴（0）
元となった辞書の項目
Yoneda functor
noun
(category
theory)
A
functor
from
a
given
category
to
the
category
of
functors
from
that
given
category
to
Set
(the
category
of
sets)
which
maps
any
object
of
the
given
category
to
a
hom
functor
represented
by
that
object
and
any
morphism
to
a
natural
isomorphism
induced
uniquely
by
that
morphism
according
to
the
Yoneda
lemma.
意味（1）
(category
theory)
A
functor
from
a
given
category
to
the
category
of
functors
from
that
given
category
to
Set
(the
category
of
sets)
which
maps
any
object
of
the
given
category
to
a
hom
functor
represented
by
that
object
and
any
morphism
to
a
natural
isomorphism
induced
uniquely
by
that
morphism
according
to
the
Yoneda
lemma.
