The term "arrow" is from category theory, not graph theory.