Nachtrag: Definition Kategorienäquivalenz, damit das vierte Übungsblatt machbar wird