𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Terminal coalgebras and free iterative theories

✍ Scribed by Jiřı´ Adámek; Stefan Milius


Book ID
113641615
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
333 KB
Volume
204
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