activity
19992008
most citedIntroduction to the language of stacks and gerbes

56 citations · 75 across the 8 of their papers we have counts for

collaborators
Showing 2008Show all

2 papers · 1 filter

math.CT2008

W-types in sheaves

Benno van den Berg, Ieke Moerdijk

We give a concrete description of W-types in categories of sheaves.

math.LO2008★ 1 cited

Aspects of Predicative Algebraic Set Theory II: Realizability

Benno van den Berg, Ieke Moerdijk

This is the second in a series of papers on the relation between algebraic set theory and predicative formal systems. In part I, we introduced the notion of a predicative category…