universal morphism

/Y UW0 N AH0 V ER1 S AH0 L M AO0 R F IH0 Z AH0 M/
noun
  1. 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.

Translate “universal morphism” into another language