John – thank you for your patience and for the very clear explanation! For some reason, I was missing the idea of a \$$\mathcal{V}\$$-weighted graph and the fact that we start the iteration from a \$$\mathcal{V}\$$-weighted graph and not from a \$$\mathcal{V}\$$-category. Now it all looks obvious in hindsight.