What are Iteration Theories?

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
What are Iteration Theories?
Original language description
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.
Czech name
Co jsou iterační teorie?
Czech description
Dokazujeme, že iterační teorie mohou být zavedeny jako algebry monády Rat na kategorii signatur, která každé signatuře Sigma přiřazuje signaturu racionálních Sigma-stromů. To podporuje výsledek, že iterační teorie axiomatizují přesně rovnicové vlastnostinejmenších pevných bodů v teorii domainů: Rat je monáda volných racionálních teorií a každá volná racionální teorie má spojité zúplnění.

Project
<a href="/en/project/GA201%2F06%2F0664" target="_blank" >GA201/06/0664: Categorical methods of the theory of structures</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)