Kategorie für algebraische Strukturen, die die Axiome eines Körpers erfüllen.