morphism (Q1948412)
map (arrow) between two objects of a category
Language: