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

Kód výsledku v 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>

Výsledek na webu

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

Jazyk výsledku

angličtina

Název v původním jazyce

On the behaviour of coalgebras with side effects and 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, 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.

Název v anglickém jazyce

On the behaviour of coalgebras with side effects and 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, 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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GA19-00902S" target="_blank" >GA19-00902S: Injektivita a monády v algebře a topologii</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2021

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 periodika

Journal of Logic and Computations

ISSN

0955-792X

e-ISSN

1465-363X

Svazek periodika

31

Číslo periodika v rámci svazku

6

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

53

Strana od-do

1429-1481

Kód UT WoS článku

000701640000003

EID výsledku v databázi Scopus

2-s2.0-85116340633