6 citations · 10 across the 9 of their papers we have counts for
1 paper · 1 filter
Charles Walker
We introduce locally subcartesian closed categories: categories with pullbacks equipped with a coherent choice of subobjects of pullbacks, such that the resulting affine base-chang…