Verduidelijking
In het bovenste plaatje is 1 de identyty en niet 4 en behoort 5 niet tot de category.
De adjacent matrix eerste rij is dus 11110
In het laatste plaatje behoort enkel 1,2,5 tot de objecten van de category
De category (station) wordt dus best via adjacentmatrixen voorgesteld .
1 is initial object
-1 is terminal object
Opgelet het gaat hier niet om HOM(A,B) want de objecten zijn geen sets maar monoids.
1 2 3 4 5 van het bovenste plaatje gaan op hun beurt CAT (stations vormen)
zodat de underground map nu bestaat uit 5 stations (CAT -stations)
en elk Cat (station) op haar beurt monoids (wetsartikels bevat die initial of terminal zijn)
VB CAT 2 bevat al zeker 1,2,3 en 5
CAT 4 bevat 4 en andere monoids dan 1.2.3 of 5 dus andere wetsartikelen die niet verbonden zijn met BW 1184 maar wel met het wetsartikel dat de identity is van cat 4