Iterative algebras: how iterative are they?
Adámek, J., Börger, R., Milius, S., Velebil, J. (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Adámek, J., Börger, R., Milius, S., Velebil, J. (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Karazeris, Panagis, Velebil, Jiří (2007)
Theory and Applications of Categories [electronic only]
Similarity:
J. Adámek, H. Herrlich, J. Rosický (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Jenö Szigeti (1983)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Teimuraz Pirashvili (2002)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Michael Barr (1972)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Tarmo Uustalu (2003)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
It is well known that, given an endofunctor on a category , the initial -algebras (if existing), i.e., the algebras of (wellfounded) -terms over different variable supplies , give rise to a monad with substitution as the extension operation (the free monad induced by the functor ). 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...
Weber, Mark (2004)
Theory and Applications of Categories [electronic only]
Similarity:
Griffing, Gary (2003)
Theory and Applications of Categories [electronic only]
Similarity: