Let be a locally small category, and let be a functor. Then, for any object , there is a natural bijection: