morphism

map (arrow) between two objects of a category

Kategori: