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