Ekvafionsteori och högre algebra;