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

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F21%3A00354968" target="_blank" >RIV/68407700:21230/21:00354968 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1093/logcom/exab049" target="_blank" >https://doi.org/10.1093/logcom/exab049</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1093/logcom/exab049" target="_blank" >10.1093/logcom/exab049</a>

Result language
angličtina
Original language name
On the behaviour of coalgebras with side effects and algebras with effectful iteration
Original language description
For every finitary monad T on sets and every endofunctor F on the category of T-algebras, we introduce the concept of an ffg-Elgot algebra for F, i.e. an algebra admitting coherent solutions for finite systems of recursive equations with effects represented by the monad T. The goal is to study the existence and construction of free ffg-Elgot algebras. To this end, we investigate the locally ffg fixed point phi(F), i.e. the colimit of all F-coalgebras with free finitely generated carrier, which is shown to be the initial ffg-Elgot algebra. This is the technical foundation for our main result: the category of ffg-Elgot algebras is monadic over the category of T-algebras.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics

Project
<a href="/en/project/GA19-00902S" target="_blank" >GA19-00902S: Injectivity and Monads in Algebra and Topology</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2021
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)