arrow,
or
morphism
,
n.
a generalization in
category theory
of the concept of a
mapping
. See also
diagram
of arrows.
