Definition:Left-Exact Functor