Articles
The Central Insight of Categorical Mathematics (forthcoming)
Theology and its Discontents: David Hilbert's Foundation Myth for Modern Mathematics (forthcoming)
There is no Ontology Here (forthcoming)
Princeton Companion to Mathematics Proof-Emmy Noether (2008)
Book Review-Virtual Mathematics (2008)
The Last Mathematician from Hilbert's Gottingen: Saunders Mac Lane as Philosopher of Mathematics (2007)
The Rising Sea: Grothendieck on Simplicity and Generality (2007)
Book Review-Saunders Mac Lane: A Mathematical Autobiography (2006)
Two Constructivist Aspects of Category Theory (2006)
Every Grothendieck Topos has a One-Way Site (2006)
Saunders Mac Lane and the Universal in Mathematics (2006)
Emmy Noether's Set Theoretic Topology: From Dedekind to the Rise of Functors (2006)
Exploring Categorical Structuralism (2005)
An Elementary Theory of the Category of Sets (Long Version) with Commentary (2005)
Saunders Mac Lane (1909-2005): His Mathematical Life and Philosophical Works (2005)
Learning from Questions on Categorical Foundations (2005)
Mathematical Platonism Versus Gathering the Dead: What Socrates Teaches Glaucon (2005)
Book Review-A Structuralist Account of Mathematics (2004)
Richard Courant in the German Revolution (2001)
Semantics for First and Higher Order Realizability (2001)
Failure of Cartesian Closedness in NF (2000)
Voir Dire in the case of Mathematical Knowledge (2000)
Book Review-Understanding the Infinite (1998)
Poincare Mathematics and Logic and Intuition (1997)
Category Theory in Real Time (1994)
Anti-Foundation and Self-Reference (1993)
Numbers Can Be Just What they Have To (1993)
Axiomatizing a Category of Categories (1991)
Uses and Abuses of the History of Topos Theory (1990)
Book Review-Mathematics Form and Function by Saunders MacLane (1987)