Kategorien
Mindestens zwei Basiskategorien: N und S
Mindestens ein Funktor-Markierer: / meist auch \
Potentiell unendlich viele abgeleitete Kategorien:
wenn a und b Kategorien sind, dann ist auch a/b eine Kategorie
nicht alle abgeleiteten Kategorien sind linguistische Kategorien