ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 英語
検索内容:
faithful functors
faithful functor
名詞
日本語の意味
カテゴリ理論における忠実な関手。すなわち、始源となるカテゴリの各ホム集合における射の写像が、その対応する対象のホム集合内で単射（すなわち異なる射が異なる像に写る）となるように定義される関手を指す。
関連語
full functor
名詞
日本語の意味
圏論において、ソースの圏からターゲットの圏へ射を写す際、各Hom集合（射集合）上での写像が全射（surjective）となるような関手のこと。つまり、全ての対象の射に対して、その像が対応するターゲットの射集合を網羅する関手。
関連語
group functor
名詞
日本語の意味
（カテゴリ理論や代数幾何学の文脈における）関手の対象としての群。すなわち、ある関手が特定の性質（群の性質の一般化）を満たすことにより、群の概念を抽象化したもの。 / 群の対象が functor の形で現れることで、通常の群の構造が関手の言葉で表現される概念。
関連語
forgetful functor
関連語
contravariant functor
名詞
日本語の意味
圏論における対向函手とは、対象と射を扱う函手の一種であり、射 f: X → Y に対してその像 F(f) を F(Y) → F(X) という反対方向の射に写す。つまり、合成 h = g ∘ f に対して F(h) = F(f) ∘ F(g) となるような性質を持つ。
関連語
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
関連語
loading!
Loading...
