Then taking that behavior and extending it over the superposition* of graphs, should give a decent idea of supposition of one category (groupoid) over another. Which like a non disjoint union in type theory requires specifying the overlap.

* Superposition in the general sense, that is metaphorically physically overlaying one thing on top of another thing.