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

Cached

Download Links

by Geoffrey Hellman
Venue:PHILOSOPHIA MATHEMATICA
Citations:10 - 3 self

Active Bibliography

Structuralism – Geoffrey Hellman
Only up to isomorphism? Category theory and the . . . – n.n.
Russell’s Absolutism vs.(?) – Geoffrey Hellman
88 Categorical Logic – Andrew M. Pitts - 1995
Observations on Category Theory – John L. Bell
Category Theory and Structuralism – Erik Palmgren - 2009
FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE – Solomon Feferman
Introduction to Categorical Foundations for Mathematics – unknown authors - 2008
TYPES, SETS AND CATEGORIES – John L. Bell
ARISTOTELIAN REALISM – James Franklin
2 Logic in topoi: Functorial Semantics for Higher-Order Logic – Steven Awodey - 1997
Models of Higher Order Logic – Alan Hutchinson
1 Categorical Logic – S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts - 2001
3 The Development of Categorical Logic – John L. Bell
The continuous and the infinitesimal . . . – John L. Bell - 2005
On the ordered Dedekind real numbers in toposes – L.A. Sbardellini and M.E. Coniglio
3 Relating first-order set theories, toposes and categories of classes – Steve Awodey, Thomas Streicher - 2006
Characterizing the interpretation of set theory in Martin-Löf type – Michael Rathjen, Sergei Tupailo, Leeds Ls Jt
4 Choice principles in constructive and classical set theories – Michael Rathjen - 2002