License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CALCO.2021.1
URN: urn:nbn:de:0030-drops-153560
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2021/15356/
Go to the corresponding LIPIcs Volume Portal

Cheng, Eugenia

Distributive Laws for Lawvere Theories (Invited Talk)

pdf-format:
LIPIcs-CALCO-2021-1.pdf (0.3 MB)

Abstract

Distributive laws give a way of combining two algebraic structures expressed as monads; in this work we propose a theory of distributive laws for combining algebraic structures expressed as Lawvere theories. We propose four approaches, involving profunctors, monoidal profunctors, an extension of the free finite-product category 2-monad from Cat to Prof, and factorisation systems respectively. We exhibit comparison functors between CAT and each of these new frameworks to show that the distributive laws between the Lawvere theories correspond in a suitable way to distributive laws between their associated finitary monads. The different but equivalent formulations then provide, between them, a framework conducive to generalisation, but also an explicit description of the composite theories arising from distributive laws.

BibTeX - Entry

@InProceedings{cheng:LIPIcs.CALCO.2021.1,
  author =	{Cheng, Eugenia},
  title =	{{Distributive Laws for Lawvere Theories}},
  booktitle =	{9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)},
  pages =	{1:1--1:1},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-212-9},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{211},
  editor =	{Gadducci, Fabio and Silva, Alexandra},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2021/15356},
  URN =		{urn:nbn:de:0030-drops-153560},
  doi =		{10.4230/LIPIcs.CALCO.2021.1},
  annote =	{Keywords: Distributive laws, Monads, Lawvere theories}
}

Keywords: Distributive laws, Monads, Lawvere theories
Collection: 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)
Issue Date: 2021
Date of publication: 08.11.2021

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI