| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6424837 | Annals of Pure and Applied Logic | 2012 | 16 Pages |
Abstract
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 of ETCS, whose standard model is based on the constructive type theory of Martin-Löf. The theory, CETCS, provides a structuralist foundation for constructive mathematics in the style of Bishop.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Erik Palmgren,