Kategorie für Algebren, die die Axiome einer Algebra über einem Körper erfüllen.