universal morphism

Noun

(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.

Japanese Meaning

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

What is this buttons?

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.

Google Translation / DeepL Translation

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

Details

Sense（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 ）

Details

universal morphism

Dictionary quizzes to help you remember the meaning

Login / Sign up

Download the app!

universal morphism

Dictionary quizzes to help you remember the meaning

Login / Sign up

Login

──── or ────

Sign up

──── or ────

Download the app!