Correspondence between Composite Theories and Distributive Laws
<|reference_start|>Correspondence between Composite Theories and Distributive Laws: 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.<|reference_end|>
@article{rosset2024correspondence,
    title={Correspondence between Composite Theories and Distributive Laws},
    author={Alo"is Rosset, Maaike Zwart, Helle Hvid Hansen, J"org Endrullis},
    journal={arXiv preprint arXiv:2404.00581},
    year={2024},
    archivePrefix={arXiv},
    eprint={2404.00581},
    primaryClass={cs.LO math.CT}
}