Морфизм —
Категории — термин, используемый для обозначения элементов произвольной категории, играющих роль отображений множеств друг в друга, гомоморфизмов групп, колец, алгебр, непрерывных отображений топологич. пространств и т. п.
Математическая энциклопедия