Definition:Arrow (Category Theory)