The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Iterative algebras: how iterative are they?”

Dense morphisms of monads.

Karazeris, Panagis, Velebil, Jiří (2007)

Theory and Applications of Categories [electronic only]

Similarity:

Generalizing substitution

Tarmo Uustalu (2003)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

It is well known that, given an endofunctor H on a category , the initial ( A + H - ) -algebras (if existing), i.e., the algebras of (wellfounded) H -terms over different variable supplies A , give rise to a monad with substitution as the extension operation (the free monad induced by the functor H ). Moss [17] and Aczel, Adámek, Milius and Velebil [2] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete...