 Pointwise limits in a functor category

For small diagrams with complete codomain, choose each objectwise categorical limit. For $u:d\to d^{\prime }$, its projections uniquely define the arrow $L(u)$ through $p_j(d^{\prime })L(u)=H_j(u)p_j(d)$. The universal property proves identity and composition laws. The same projection calculation makes every categorical cone factorization a natural transformation. Hence these are genuine categorical limits in the functor category, and the objectwise forgetful functor is a limit-creating functor.