検索結果- 英語 - 英語
検索内容:
representable functors
Yoneda functor
名詞
(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ファンクターとは、ある圏Cから、C上の関手全体の圏（具体的には集合の圏Setを対象とする関手の圏）への関手を指します。 / 具体的には、与えられた任意の対象aに対して、aが表すホム関手（Hom(a, −)）に写像し、また任意の射fについては、Yoneda補題により一意的に定まる自然同型を介して写像する関手です。
関連語
underlying functor
関連語
Yoneda functors
名詞
活用形
複数形
日本語の意味
「Yoneda functors」は『Yoneda functor』の複数形です。これはひとつのYoneda関手だけではなく、複数のYoneda関手を指す際に用いられる表現です。
adjoint functor
名詞
日本語の意味
随伴関手 – カテゴリ理論において、一組の関手のうち、片方の関手の定義域と対域が、もう片方の関手の対域と定義域とそれぞれ一致し、さらに互いに対応する自然変換が存在して、両関手が随伴関係を形成するものを指す。
関連語
functor category
関連語
identity functors
名詞
活用形
複数形
日本語の意味
『identity functors』は「恒等関手（identity functor）」の複数形です。恒等関手とは、圏論において各対象と射をそのまま対応させる関手を意味します。
loading!
Loading...
