Michael - thanks, I'll fix that typo! You're right. \$$\mathcal{D}\$$ is the free category on this graph:

while \$$\mathcal{C}\$$ is the free category on this one: