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

Simple item page
dc.creatorBerg, Benno van den
dc.creatorDe Marchi, Federico
dc.date2005-08-26
dc.date2006-01-30
dc.date.accessioned2026-07-07T06:42:51Z
dc.date.available2026-07-07T06:42:51Z
dc.descriptionThe 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.
dc.identifierhttps://arxiv.org/abs/math/0508531
dc.identifierhttp://arxiv.org/abs/math/0508531
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/102196
dc.subjectLogic
dc.subjectCategory Theory
dc.subject03C62;03G30;18C50
dc.titleModels of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem
dc.typetext

Files

Collections

arXiv