10 citations · 12 across the 6 of their papers we have counts for
1 paper · 2 filters
Wouter Pieter Stekelenburg
Relative realizability toposes satisfy a universal property that involves regular functors to other categories. We use this universal property to define what relative realizability…