Mathematics – Category Theory
Scientific paper
2009-05-29
Mathematics
Category Theory
23 pages
Scientific paper
We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring an explicit construction of the final coalgebra in this case. On the other hand, there are interesting examples of final coalgebras beyond the realm of l.f.p. categories to which our results apply. We rely on ideas developed by Tom Leinster for the study of self-similar objects in topology.
Karazeris Panagis
Matzaris Apostolos
Velebil Jiří
No associations
LandOfFree
Final coalgebras in accessible categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Final coalgebras in accessible categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Final coalgebras in accessible categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-527387