. . "Ad\u00E1mek, Ji\u0159\u00ED" . "1"^^ . "Every finitary endofunctor H of Set can be represented via a finitary signature Sigma and a collection of equations called %22basic%22. We describe a terminal coalgebra for Has the terminal Sigma-coalgebra (of all E-trees) modulo the congruence of applying the basic equations potentially infinitely often. As an application we describe a free iterative theory on H (in the sense of Calvin Elgot) as the theory of all rational E-trees modulo the analogous congruence. This yields a number of new examples of iterative theories, e.g., the theory of all strongly extensional, rational, finitely branching trees, free on the finite power-set functor, or the theory of all binary, rational unordered trees, free on one commutative binary operation. (c) 2006 Elsevier Inc. All rights reserved."@en . "algebra; Free Iterative Theories"@en . "Every finitary endofunctor H of Set can be represented via a finitary signature Sigma and a collection of equations called %22basic%22. We describe a terminal coalgebra for Has the terminal Sigma-coalgebra (of all E-trees) modulo the congruence of applying the basic equations potentially infinitely often. As an application we describe a free iterative theory on H (in the sense of Calvin Elgot) as the theory of all rational E-trees modulo the analogous congruence. This yields a number of new examples of iterative theories, e.g., the theory of all strongly extensional, rational, finitely branching trees, free on the finite power-set functor, or the theory of all binary, rational unordered trees, free on one commutative binary operation. (c) 2006 Elsevier Inc. All rights reserved." . . "2"^^ . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "34"^^ . . "0890-5401" . . . "Terminal Coalgebras and Free Iterative Theories" . . "RIV/68407700:21230/06:00124026!RIV10-MSM-21230___" . . . "503481" . "000238782700005" . . "Information and Computation" . . . "7" . . "21230" . "[39B254E1CFAB]" . "V" . "RIV/68407700:21230/06:00124026" . "Terminal Coalgebras and Free Iterative Theories" . "204" . "Terminal Coalgebras and Free Iterative Theories"@en . "Terminal Coalgebras and Free Iterative Theories"@en .