User blog comment:Wythagoras/Extension to Friedmann's stuff/@comment-11227630-20150501095933

Colored SCG, what's the definition?

In uncolored graphs, H is a minor of G iff H can be obtained from G by contracting some edges, deleting some edges, and deleting some isolated vertices. But the "contracting some edges" meet problem when dealing with colored graphs.