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

DOI10.1093/LOGCOM/EXAB049OpenAlexW3197747332MaRDI QIDQ5158367

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

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

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