On algebras with effectful iteration

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F18%3A00327831" target="_blank" >RIV/68407700:21230/18:00327831 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-030-00389-0_9" target="_blank" >http://dx.doi.org/10.1007/978-3-030-00389-0_9</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-00389-0_9" target="_blank" >10.1007/978-3-030-00389-0_9</a>

Jazyk výsledku

angličtina

Název v původním jazyce

On algebras with effectful iteration

Popis výsledku v původním jazyce

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 φ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.

Název v anglickém jazyce

On algebras with effectful iteration

Popis výsledku anglicky

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 φ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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2018

Kód důvěrnosti údajů

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

Název statě ve sborníku

Coalgebraic Methods in Computer Science

ISBN

9783030003883

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

23

Strana od-do

144-166

Název nakladatele

Springer

Místo vydání

Basel

Místo konání akce

Thessaloniki

Datum konání akce

14. 4. 2018

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—