\n1. A covariant or contravariant functor from a locally small category to is representable if there is an object and a natural isomorphism between and the functor of appropriate variance represented by , in which case one says that the functor is represented by the object .\n2. A representation for a functor is a choice of object together with a specified natural isomorphism , if is covariant, or , if is contravariant.