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

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

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

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

так и пишут

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