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

Benno van den Berg, Federico De Marchi

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 fun…