Preservation of Equations by Monoidal Monads

Autor: Parlant, L., Rot, J., Silva, A., Westerbaan, Bas., Esparza, J.

Publikováno v: Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), 77:1-77:14. Dagstuhl : Schloss Dagstuhl
STARTPAGE=77:1;ENDPAGE=77:14;ISSN=1868-8969;TITLE=Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), pp. 77:1-77:14

If a monad $T$ is monoidal, then operations on a set $X$ can be lifted canonically to operations on $TX$. In this paper we study structural properties under which $T$ preserves equations between those operations. It has already been shown that any mo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b69c101f268bb2238794fc718b20795