27 citations · 102 across the 13 of their papers we have counts for
1 paper · 2 filters
Andrew M. Pitts
Staton has shown that there is an equivalence between the category of presheaves on (the opposite of) finite sets and partial bijections and the category of nominal restriction set…