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!