Co jsou iterační teorie?

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F07%3A03131797" target="_blank" >RIV/68407700:21230/07:03131797 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
What are Iteration Theories?
Popis výsledku v původním jazyce
We prove that iteration theories can be introduced as algebras for the monad Rat on the category of signatures assigning to every signature Sigma the rational-Sigma-tree signature. This supports the result that iteration theories axiomatize precisely theequational properties of least fixed points in domain theory: Rat is the monad of free rational theories and every free rational theory has a continuous completion.
Název v anglickém jazyce
What are Iteration Theories?
Popis výsledku anglicky
We prove that iteration theories can be introduced as algebras for the monad Rat on the category of signatures assigning to every signature Sigma the rational-Sigma-tree signature. This supports the result that iteration theories axiomatize precisely theequational properties of least fixed points in domain theory: Rat is the monad of free rational theories and every free rational theory has a continuous completion.

Projekt
<a href="/cs/project/GA201%2F06%2F0664" target="_blank" >GA201/06/0664: Kategoriální metody teorie struktur</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2007
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ů

Podobné výsledky(10)