New theory revolutionizes combining algebraic structures for advanced problem-solving.
Distributive laws help combine algebraic structures, and this work introduces a theory for combining Lawvere theories. The researchers suggest four methods using profunctors, monoidal profunctors, an extended category monad, and factorisation systems. They show that these methods correspond to distributive laws between the theories' associated monads. These different approaches offer a way to generalize and describe composite theories resulting from distributive laws.