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.
Articles by others on the same topic
There are currently no matching articles.