最終更新日：2024/07/31
(category theory) A morphism between a pair of parallel functors such that if each object of the shared domain category subtends a correlated arrow — called a component — in the shared codomain (which arrow represents the difference between applying the second functor and the first functor to the correlated object) then each arrow of the shared domain subtends a commuting square — called a naturality square — between two components (correlated to the domain and codomain of the arrow).
正解を見る
natural transformation
編集履歴（0）
元となった辞書の項目
natural transformation
noun
(category
theory)
A
morphism
between
a
pair
of
parallel
functors
such
that
if
each
object
of
the
shared
domain
category
subtends
a
correlated
arrow
—
called
a
component
—
in
the
shared
codomain
(which
arrow
represents
the
difference
between
applying
the
second
functor
and
the
first
functor
to
the
correlated
object)
then
each
arrow
of
the
shared
domain
subtends
a
commuting
square
—
called
a
naturality
square
—
between
two
components
(correlated
to
the
domain
and
codomain
of
the
arrow).
意味（1）
(category
theory)
A
morphism
between
a
pair
of
parallel
functors
such
that
if
each
object
of
the
shared
domain
category
subtends
a
correlated
arrow
—
called
a
component
—
in
the
shared
codomain
(which
arrow
represents
the
difference
between
applying
the
second
functor
and
the
first
functor
to
the
correlated
object)
then
each
arrow
of
the
shared
domain
subtends
a
commuting
square
—
called
a
naturality
square
—
between
two
components
(correlated
to
the
domain
and
codomain
of
the
arrow).
