Kategorie für mathematische Strukturen, die die Axiome eines Verbands erfüllen.