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

DOI10.1093/LOGCOM/EXAB049OpenAlexW3197747332MaRDI QIDQ5158367FDOQ5158367

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

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

zbMATH Keywords

coalgebraEilenberg-Moore algebraElgot algebramonadic functor

Mathematics Subject Classification ID

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

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)