Constant diagram functor
ID: constant-diagram-functor
The constant diagram functor sends to the functor on with constant object value and identity arrow values; a morphism becomes the natural transformation with every component . When all -shaped categorical limits exist, it is a left adjoint to the limit functor.
New to topics? Read the docs here!