Last Updated：2025/11/30
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
universal morphism
Edit Histories（0）
Source Word
universal morphism
Noun
Japanese Meaning
圏論において、ある関手と固定対象に対して、関手から固定対象へのコマ圏の終対象（ターミナルオブジェクト）または、対になって固定対象から関手へのコマ圏の始対象（初期オブジェクト）として定義される普遍的な射を指す。
（ plural ）
