Kategorien als Modelle für eine geeignete algebraische Theorie