About Definition 3.41: when the authors say "A _diagram_ in \$$\mathcal{C}\$$ is a functor from any category \$$D\$$", do they actually mean "A _diagram_ in \$$\mathcal{C}\$$ is a functor \$$D\$$ from any category" (i.e. with D referring to "functor" instead of "any category")?