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:



I'm glad you're still here!