Abstract
A standard construction of the final coalgebra of an endofunctor involves defining a chain of iterates, starting at the final object of the underlying category and successively applying the functor. In this paper we show that, for a finitary set functor, this construction always yields a final coalgebra in ω 2 = ω + ω steps.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have