Does category theory provide a framework for mathematical structuralism? (2003)

Cached

Download Links

by Geoffrey Hellman
Venue:PHILOSOPHIA MATHEMATICA
Citations:5 - 1 self

Documents Related by Co-Citation

13 Categorical Foundations and Foundations of Category Theory – S Feferman - 1977
24 Mathematics: Form and Function – Mac Lane, S - 1986
4 Structure in Mathematics and Logic: A categorical perspective – S Awodey - 1996
22 An elementary theory of the category of sets – F W Lawvere - 1964
5 Numbers Can Be Just What They Have To – C McLarty - 1993
17 The category of categories as a foundation for mathematics – F W Lawvere - 1966
23 Philosophy of Mathematics: Structure and Ontology – S Shapiro - 1997
5 Category theory and the foundations of mathematics – J L Bell - 1981
5 An Answer to Hellman’s Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism – S Awodey - 2004
3 Axiomatizing a category of categories – C McLarty - 1991
5 Exploring Categorical Structuralism – Colin Mclarty - 2004
2 Exploring Categorical Structuralism. Philosophia Mathematica 12(2004), 37 – 53. 9 P. Martin-Löf. An intuitionistic theory of types: predicative part – C McLarty - 1975
1 The Artist and the Mathematician: The – A D Aczel - 2007
4 A unified approach to algebraic set theory – Benno Berg, Ieke Moerdijk - 2006
8 The architecture of mathematics – N Bourbaki - 1950
33 Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST – Ieke Moerdijk, Erik Palmgren - 2000
7 Was sind und was sollen die Zahlen”,Braunschweig – R Dedekind
106 The type-theoretic interpretation of constructive set theory: inductive definitions – P Aczel - 1986
52 Elementary Categories, Elementary Toposes, Oxford Logic Guides 21 – C McLarty - 1995