Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem

Details Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem

2005-08-26

arxiv.org/abs/math/0508531v2

Mathematics

Logic

Scientific paper

The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on categories with finite limits and colimits. As an instance of this result, we build the final coalgebra for the powerclass functor, in the context of a Heyting pretopos with a class of small maps. This is then proved to provide a model for various non-well-founded set theories, depending on the chosen axiomatisation for the class of small maps.

Affiliated with

Also associated with

No associations

Rating

Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem 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 Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-24876