morphism

map (arrow) between two objects of a category

Kategorie: