Korrekturen bis auf Beispiel

Kmetts semigroupoid Library möchte ich hier nicht erklären, dann haben wir ein paar Seiten Category-Theorie. Eingeweihte wissen, worum es geht, die anderen können den Satz überlesen. Oder wir lassen es ganz weg bzw. formulieren es neutral.