Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9655969 | Electronic Notes in Theoretical Computer Science | 2005 | 24 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
JiÅÃ Adámek, Stefan Milius, JiÅÃ Velebil,