Composite theories are the algebraic equivalent of distributive laws. In this paper, we delve into the details of this correspondence and concretely show how to construct a composite theory from a distributive law and vice versa. Using term rewriting methods, we also describe when a minimal set of equations axiomatises the composite theory.

翻译：组合理论是分配律的代数等价形式。本文深入探讨了这种对应关系的具体细节，并具体展示了如何从分配律构造组合理论，以及反之亦然。通过项重写方法，我们还描述了何时可以用最小方程集对组合理论进行公理化。