Iterative Algebras for a Base | Zendy

Jiřı́ Adámek | Zendy; Stefan Milius | Zendy; Jiřı́ Velebil | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Iterative Algebras for a Base

Author(s) -

Jiřı́ Adámek,

Stefan Milius,

Jiřı́ Velebil

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.06.056

Subject(s) - finitary , functor , mathematics , coalgebra , morphism , base (topology) , algebra over a field , pure mathematics , variable (mathematics) , discrete mathematics , mathematical analysis

For algebras A whose type is given by an endofunctor, iterativity means that every flat equation morphism in A has a unique solution. In our previous work we proved that every object generates a free iterative algebra, and we provided a coalgebraic construction of those free algebras.Iterativity w.r.t. an endofunctor was generalized by Tarmo Uustalu to iterativity w.r.t. a “base”, i.e., a functor of two variables yielding finitary monads in one variable. In the current paper we introduce iterative algebras in this general setting, and provide again a coalgebraic construction of free iterative algebras

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research