Algebras with Parametrized Iterativity

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F07%3A03134883" target="_blank" >RIV/68407700:21230/07:03134883 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Algebras with Parametrized Iterativity

Original language description

Iterative algebras, as studied by Nelson and Tiuryn, are generalized to algebras whose iterativity is parametrized in the sense that only some variables can be used for iteration. For example, in the case of one binary operation, the free iterative algebra is the algebra of all rational binary trees; if only the left-hand variable is allowed to be iterated, then the free iterative algebra is the algebra of all right-well-founded rational binary trees. In order to express such parametrized iterativity, we work with parametrized endofunctors of sets, i.e. finitary endofunctors H: Set x Set-> Set, and introduce the concept of iterativity for algebras for the endofunctor H:X |-> H(X,X). We then describe free iterative H-algebras.

Czech name

Není k dispozici

Czech description

Iterativni algebry, studovane Evelyn Nelsonovou a Jerzy Tiurynem, jsou zobecneny na algebry, jejichz iterativita je parametrizovana: pouze nektere promenne se smeji pouzit pro iteraci. Napriklad: pro jednu binarni operaci je volna iterativni algebrou algebra vsech racionalnich binarnich stromu; pokud dovolime iterovat pouze levou promennou, je volnou iterativni algebrou algebra vsech zprava dobre fundovanych binarnich stromu. Pro popis parametrizovane iterace pracujeme s parametrizovanymi endofunktory kategorie mnozin, tj. finitarnimi endofunktory H: Set x Set -> Set a zavadime koncept iterativity algeber endofunktoru H:X |-> H(X,X). Pote popisujeme volne iterativni H-algebry.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

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

Name of the periodical

Theoretical Computer Science

ISSN

0304-3975

e-ISSN

—

Volume of the periodical

388

Issue of the periodical within the volume

1-3

Country of publishing house

GB - UNITED KINGDOM

Number of pages

22

Pages from-to

130-151

UT code for WoS article

—

EID of the result in the Scopus database

—