A functor from a groupoid to a category C factors through the core of C.