Algebras with parametrized iterativity (Q2464938)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebras with parametrized iterativity |
scientific article |
Statements
Algebras with parametrized iterativity (English)
0 references
18 December 2007
0 references
Following the idea of \textit{T. Uustalu} [Theor. Inform. Appl. 37, No.~4, 315--336 (2003; Zbl 1042.18003)], algebras for parametrized endofunctors \(H:{\mathcal S}et\times {\mathcal S}et\rightarrow Set\) are studied having the property that certain recursive finitary equations have unique solutions. In order to formalize the concept of these equations and their solutions, a base is introduced and it is proved that every object generates a free algebra with the above parametrized iterativity. The corresponding monad \(R\) on \({\mathcal S}et\) (called the rational monad of \(H\)) is described.
0 references
iterative theory
0 references
iterative algebra
0 references
parametrized endofunctor
0 references
algebra for an endofunctor
0 references
rational trees
0 references