English Dictionary

universal morphism

名詞

(category theory) The terminal object of a comma category from a functor to a fixed object; or, dually, the initial object of a comma category from a fixed object to a functor.

日本語の意味

圏論において、ある関手と固定対象に対して、関手から固定対象へのコマ圏の終対象（ターミナルオブジェクト）または、対になって固定対象から関手へのコマ圏の始対象（初期オブジェクト）として定義される普遍的な射を指す。

In many constructions in category theory, a universal morphism from a functor to a fixed object can be characterized as the terminal object of the corresponding comma category.

圏論の多くの構成において、関手から固定された対象へのコンマ圏の終対象は、その普遍性によって特徴付けられます。

意味（1）

(category theory) The terminal object of a comma category from a functor to a fixed object; or, dually, the initial object of a comma category from a fixed object to a functor.

universal morphisms （ plural ）