Weakly connected components #
For a quiver
V, define the type
WeaklyConnectedComponent V as the quotient of
the relation which identifies
b if there is a path from
(These zigzags can be seen as a proof-relevant analogue of
Strongly connected components have not yet been defined.