Correspondence between Composite Theories and Distributive Laws
Logic in Computer Science
2024-04-02 v1 Category Theory
Abstract
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.
Keywords
Cite
@article{arxiv.2404.00581,
title = {Correspondence between Composite Theories and Distributive Laws},
author = {Aloïs Rosset and Maaike Zwart and Helle Hvid Hansen and Jörg Endrullis},
journal= {arXiv preprint arXiv:2404.00581},
year = {2024}
}