𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A small final coalgebra theorem

✍ Scribed by Yasuo Kawahara; Masao Mori

Book ID
104326401
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
139 KB
Volume
233
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

This paper presents an elementary and self-contained proof of an existence theorem of ΓΏnal coalgebras for endofunctors on the category of sets and functions.

πŸ“œ SIMILAR VOLUMES

Final Coalgebras And a Solution Theorem
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
✍ JiΕ™Γ­ AdΓ‘mek; Stefan Milius; JiΕ™Γ­ Velebil πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 411 KB

Every endofunctor \(F\) of Set has an initial algebra and a final coalgebra, but they are classes in general. Consequently, the endofunctor \(F^{\infty}\) of the category of classes that \(F\) induces generates a completely iterative monad \(T\). And solutions of arbitrary guarded systems of iterati