On the behaviour of coalgebras with side effects and algebras with effectful iteration

DOI10.1093/LOGCOM/EXAB049MaRDI QIDQ5158367zbMATH OpenOpenAlexFDO

Authors Jiří Adámek, Stefan Milius, Henning Urbat

Publication date 21 October 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1911.06346

zbMATH Keywords

coalgebraEilenberg-Moore algebraElgot algebramonadic functor

Mathematics Subject Classification ID

Categories of algebras (08C05) Coalgebras and comodules; corings (16T15) Special properties of functors (faithful, full, etc.) (18A22) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Recommendations

• On algebras with effectful iteration
• Complete Elgot monads and coalgebraic resumptions
• Elgot algebras (extended abstract)
• A new foundation for finitary corecursion and iterative algebras
• Complete iterativity for algebras with effects

Cited in

(3)

• Complete Elgot monads and coalgebraic resumptions
• On algebras with effectful iteration
• On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration

This page was built for publication: On the behaviour of coalgebras with side effects and algebras with effectful iteration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5158367)