“a constructive approach to functor categories”