%0 Conference Proceedings
%T On Algebras with Effectful Iteration
%+ Friedrich-Alexander Universität Erlangen-Nürnberg = University of Erlangen-Nuremberg (FAU)
%+ Czech Technical University in Prague (CTU)
%A Milius, Stefan
%A Adámek, Jiří
%A Urbat, Henning
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS)
%C Thessaloniki, Greece
%Y Corina Cîrstea
%I Springer International Publishing
%3 Coalgebraic Methods in Computer Science
%V LNCS-11202
%P 144-166
%8 2018-04-14
%D 2018
%R 10.1007/978-3-030-00389-0_9
%Z Computer Science [cs]Conference papers
%X 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, that is, an algebra admitting coherent solutions for finite systems of recursive equations with effects represented by the monad T. The goal of this paper is to study the existence and construction of free ffg-Elgot algebras. To this end, we investigate the locally ffg fixed point $$\varphi F$$φF, 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.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-02044647/document
%2 https://inria.hal.science/hal-02044647/file/473364_1_En_9_Chapter.pdf
%L hal-02044647
%U https://inria.hal.science/hal-02044647
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-CMCS
%~ IFIP-LNCS-11202