Interne en externe morphismen
De
CATEGORY word voorgesteld door A de adjecent matrix
De underground wordt voorgesteld door M de incident matrix waarbij de verbindingen de
FUNCTORS zijn.
de kleinste underground is een verbinding tussen 2 categories (bicategory) maar het beste krijg je een inzicht als je een tri category maakt.
Hoger dimensional wordt al moeilijk om te bevatten