(thinking about this further, if we flip round the roles of \$$\mathcal{C}\$$ and \$$\mathcal{D}\$$ above, we can show there's also an issue with functors that aren't faithful...)