Abstract
We prove that any endofunctor on a class-theoretic category has a final coalgebra. Moreover, we characterize functors on set-theoretic categories which are identical on objects, and functors which are constant on objects.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have