@inproceedings{688fdb51724b422fa5808274018ab8c8,
title = "Correspondence Between Composite Theories and Distributive Laws",
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 = "algebraic theory, composite theory, distributive law, monad, term rewriting",
author = "Alo{\"i}s Rosset and Maaike Zwart and Hansen, {Helle Hvid} and J{\"o}rg Endrullis",
note = "Publisher Copyright: {\textcopyright} IFIP International Federation for Information Processing 2024.; 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024 ; Conference date: 06-04-2024 Through 07-04-2024",
year = "2024",
doi = "10.1007/978-3-031-66438-0_10",
language = "English",
isbn = "9783031664373",
series = "Lecture Notes in Computer Science ",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "194--215",
editor = "Barbara K{\"o}nig and Henning Urbat",
booktitle = "Coalgebraic Methods in Computer Science",
}