Abstract
This paper presents an elementary and self-contained proof of an existence theorem of final coalgebras for endofunctors on the category of sets and functions.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have