Со всякими морфизмами я еще подробно не разбирался. Я запомнил, что некоторый морфизм -- это элемент множества 

, то есть элемент множества всех возможных отображений между 

. Только не пойму почему выбрано обозначение 

?
Потому что вначале самым общим был термин 
гомоморфизм (
homomorphism), а уже потом его сократили до 
морфизма.
Кстати, в некоторой литературе вместо 

 так и пишут 

 И ещё есть несколько обозначений, уже не столь словесных.