34 citations · 293 across the 46 of their papers we have counts for
1 paper · 2 filters
Ross Street
The first word in the title is intended in a sense suggested by Lawvere and Schanuel whereby finite sets are objective natural numbers. At the objective level, the axioms defining…