Each morphism f has a unique source object a and target object b. The expression, would be verbally stated as " f is a morphism from a to b ". The expression — alternatively expressed as,, or — denotes the hom-class of all morphisms from a to b.

Each morphism f has a unique source object a and target object b where a and b are in ob ( C ).

0.003 seconds.