Definition:Arrow Functor