8 citations · 15 across the 10 of their papers we have counts for
1 paper · 1 filter
Steven Vickers
A theory of sketches for arithmetic universes (AUs) is developed. A restricted notion of sketch, called here "context", is defined with the property that every non-strict model is…