Der Anhang enthält eine Beschreibung der Kategorietheorie. Die Anwendung beinhaltet eine handliche Suche.
