9 citations · 12 across the 3 of their papers we have counts for
3 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.LO2005★ 9 cited
Sheaves for predicative toposes
Benno van den Berg
In this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, predicative analogues of the notion of a topos, with the a…
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…