Logical Construction of Final Coalgebras

Details Logical Construction of Final Coalgebras Logical Construction of Final Coalgebras

2004-03-14

arxiv.org/abs/math/0403227v1

Mathematics

Category Theory

Scientific paper

We prove that every finitary polynomial endofunctor of a category $C$ has a
final coalgebra if $C$ is locally Cartesian closed, has finite disjoint
coproducts and a natural number object. More generally, we prove that the
category of coalgebras for such an endofunctor has all finite limits.

Affiliated with

Also associated with

No associations

Rating

Logical Construction of Final Coalgebras 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 Logical Construction of Final Coalgebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logical Construction of Final Coalgebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-436773