Algebraic Presentation of Semifree Monads

Aloïs Rosset*, Helle Hvid Hansen, Jörg Endrullis

*Bijbehorende auteur voor dit werk

OnderzoeksoutputAcademicpeer review

Samenvatting

Monads and their composition via distributive laws have many applications in program semantics and functional programming. For many interesting monads, distributive laws fail to exist, and this has motivated investigations into weaker notions. In this line of research, Petrişan and Sarkis recently introduced a construction called the semifree monad in order to study semialgebras for a monad and weak distributive laws. In this paper, we prove that an algebraic presentation of the semifree monad Ms on a monad M can be obtained uniformly from an algebraic presentation of M. This result was conjectured by Petrişan and Sarkis. We also show that semifree monads are ideal monads, that the semifree construction is not a monad transformer, and that the semifree construction is a comonad on the category of monads.

Originele taal-2English
TitelCoalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Proceedings
RedacteurenHelle Hvid Hansen, Fabio Zanasi
Plaats van productieCham
UitgeverijSpringer Science and Business Media Deutschland GmbH
Pagina's110-132
Aantal pagina's23
ISBN van elektronische versie978-3-031-10736-8
ISBN van geprinte versie9783031107351
DOI's
StatusPublished - 2022
Evenement16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with European Joint Conference on Theory and Practice of Software, ETAPS 2022 - Munich, Germany
Duur: 2-apr-20223-apr-2022

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13225 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Conference

Conference16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with European Joint Conference on Theory and Practice of Software, ETAPS 2022
Land/RegioGermany
StadMunich
Periode02/04/202203/04/2022

Citeer dit