activity
20052019
most citedConstructing categories and setoids of setoids in type theory

14 citations · 34 across the 9 of their papers we have counts for

collaborators
Showing 2012Show all

1 paper · 1 filter

math.LO2012★ 3 cited

Constructivist and Structuralist Foundations: Bishop's and Lawvere's Theories of Sets

Erik Palmgren

Bishop's informal set theory is briefly discussed and compared to Lawvere's Elementary Theory of the Category of Sets (ETCS). We then present a constructive and predicative version…