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

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.

Keywords

Logic, Category Theory, 03C62;03G30;18C50

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/102196

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0508531
 http://arxiv.org/abs/math/0508531

Collections

arXiv