After having finishing the proof that a right adjoint to the diagonal functor provides a functorial product construction, we study equalizers and compare them to pullbacks, then start to talk about limits and colimits in functor categories.