𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Completely iterative algebras and completely iterative monads

✍ Scribed by Stefan Milius


Book ID
113641530
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
366 KB
Volume
196
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Infinite trees and completely iterative
✍ Peter Aczel; Jiřı́ AdΓ‘mek; Stefan Milius; Jiřı́ Velebil πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 533 KB

InΓΏnite trees form a free completely iterative theory over any given signature-this fact, proved by Elgot, Bloom and Tindell, turns out to be a special case of a much more general categorical result exhibited in the present paper. We prove that whenever an endofunctor H of a category has ΓΏnal coalge

On iterated hairpin completion
✍ Steffen Kopecki πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 275 KB
On Rational Monads and Free Iterative Th
✍ JiΕ™Γ­ AdΓ‘mek; Stefan Milius; JiΕ™Γ­ Velebil πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 276 KB