Constructivist and Structuralist Foundations: Bishop's and Lawvere's Theories of Sets
Logic
2012-01-31 v1 Category Theory
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\"of. The theory, CETCS, provides a structuralist foundation for constructive mathematics in the style of Bishop.
Keywords
Cite
@article{arxiv.1201.6272,
title = {Constructivist and Structuralist Foundations: Bishop's and Lawvere's Theories of Sets},
author = {Erik Palmgren},
journal= {arXiv preprint arXiv:1201.6272},
year = {2012}
}
Comments
28 pages