3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.LO2005
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…
math.CT2004★ 3 cited
Non-well-founded trees in categories
Benno van den Berg, Federico de Marchi
Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data-structures. Categori…