Meet the concept↗
The category of functors from to , denoted , is a category where the objects are the functors from to , and the morphisms are the natural transformations between these functors.
Conditions: and are categories.
The category of functors from to , denoted , is a category where the objects are the functors from to , and the morphisms are the natural transformations between these functors.
Conditions: and are categories.