検索結果- 英語 - 英語
検索内容:
five lemma
関連語
Zorn's lemma
pumping lemma
名詞
(computer
science)
A
lemma
which
states
that
for
a
language
to
be
a
member
of
a
language
class
any
sufficiently
long
string
in
the
language
contains
a
section
that
can
be
removed
or
repeated
any
number
of
times
with
the
resulting
string
remaining
in
the
language,
used
to
determine
if
a
particular
language
is
in
a
given
language
class
(e.g.
not
regular).
日本語の意味
計算機科学における補題で、十分に長い文字列の中に、ある部分を削除または繰り返しても元の言語に留まる部分文字列が存在するという性質を示すもの。 / この補題は、ある言語が特定の言語クラス(例えば正規言語でない言語)に属するか否かを判断するために使用される。
関連語
Yoneda lemma
名詞
(category
theory)
Given
a
category
𝒞
with
an
object
A,
let
H
be
a
hom
functor
represented
by
A,
and
let
F
be
any
functor
(not
necessarily
representable)
from
𝒞
to
Sets,
then
there
is
a
natural
isomorphism
between
Nat(H,F),
the
set
of
natural
transformations
from
H
to
F,
and
the
set
F(A).
(Any
natural
transformation
𝛼
from
H
to
F
is
determined
by
what
𝛼_A(
mbox
id_A)
is.)
日本語の意味
圏論におけるヨネダの補題(Yoneda lemma)とは、ある圏𝒞とその中の対象Aが与えられた場合、Aによって表現されるホム関手Hと、必ずしも表現可能でない任意の関手F(集合から圏𝒞への関手)との間で、自然変換の集合Nat(H, F)とF(A)の間に自然同型が存在するという主張である。
loading!
Loading...