A Non-wellfounded sets Non-wellfounded sets are elements of a Universe of a Zermelo Fraenkel-like settheory ZF ffi X 1 . ZF ffi X 1 is the theory consisting of the axioms extensionality (1998)

by J J M M Rutten D Turi
Venue:F - coalgebras (X; ff X ) and (Y; ff Y ) are morphisms f : X ! Y of the category C such that the following diagram commutes X f // ff X fflffl Y ff Y fflffl F (X) F (f) F (Y