Schreibweise für Kategorien geändert.

Statt vect_k jetzt k-vect, usw.
Definition der Kategorie der G-Mengen hinzugefügt.
Funktorialität von V -> V^G hinzugefügt.