universal morphism

Category theory, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences 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.