REPRESENTATION OF CATEGORY BY PSEUDOGRAPH
De CAT (station -wetsartilel) wordt door een pseudograph voorgesteld omdat er loops zijn (identity)
De graph moet enkel
connected zijn en moet niet
complete Kn of
planar zijn.
Indien hij geen
crossings heeft (en dus
planar is) doet men de proef
3p - 6 als p > 3 .
In de CAT underground (total map) zijn de Functors
bridges