最終更新日：2025/11/21
(mathematics) The property of there being a unique morphism from an arbitrary object to the universal morphism of a comma category which is from a functor to a fixed object; or, dually, the property of there being a unique morphism from the universal morphism to an arbitrary object of a comma category which is from a fixed object to a functor. (Caveat: the uniqueness is up to isomorphism.)
音声機能が動作しない場合はこちらをご確認ください
正解を見る
universal property
編集履歴（0）
元となった辞書の項目
universal property
名詞
(mathematics)
The
property
of
there
being
a
unique
morphism
from
an
arbitrary
object
to
the
universal
morphism
of
a
comma
category
which
is
from
a
functor
to
a
fixed
object;
or,
dually,
the
property
of
there
being
a
unique
morphism
from
the
universal
morphism
to
an
arbitrary
object
of
a
comma
category
which
is
from
a
fixed
object
to
a
functor.
(Caveat:
the
uniqueness
is
up
to
isomorphism.)
日本語の意味
数学、特に圏論における概念で、合同圏の文脈で定義される。具体的には、固定された対象と関手との間、またはその逆の関係において、普遍射（ユニヴァーサルモルフィズム）から任意の対象へ、または任意の対象から普遍射へ、一意（同型を許す一意）な射が存在するという性質を指す。
意味（1）
(mathematics)
The
property
of
there
being
a
unique
morphism
from
an
arbitrary
object
to
the
universal
morphism
of
a
comma
category
which
is
from
a
functor
to
a
fixed
object;
or,
dually,
the
property
of
there
being
a
unique
morphism
from
the
universal
morphism
to
an
arbitrary
object
of
a
comma
category
which
is
from
a
fixed
object
to
a
functor.
(Caveat:
the
uniqueness
is
up
to
isomorphism.)
（ plural ）
