David Corfield
Home Page

This is the personal area of David Corfield within the nLab.


Articles and preprints

  • Expressing 'The Structure of' in Homotopy Type Theory, Synthese.
  • 2017, Homotopy type theory and the vertical unity of concepts in mathematics, (link to draft) in What is a Mathematical Concept?, CUP.
  • 2017, Reviving the philosophy of geometry, (link) to appear in Categories for the Working Philosopher, OUP.
  • 2017, Duality as a category-theoretic concept, Studies in History and Philosophy of Modern Physics, Volume 59, August 2017, Pages 55-61, (link).
  • 2014, with Ralf Krömer, The Form and Function of Duality in Modern Mathematics, Philosophia Scientiae, 18-3 (link)
  • 2012, Narrative and the Rationality of Mathematical Practice
  • 2011, Understanding the infinite II: Coalgebra (link)
  • 2010, Understanding the Infinite I: Niceness, Robustness, and Realism (link)
  • 2010, Lautman and the Reality of Mathematics, published in French as ‘Lautman et la réalité des mathématiques’, Philosophiques 37(1), 2010, 95-109.
  • 2010, Varieties of justification in machine learning, Minds and Machines 20 (2), 291-301.
  • 2009, Falsificationism and statistical learning theory: Comparing the Popper and Vapnik-Chervonenkis dimensions, (with B Schölkopf, V Vapnik),Journal for General Philosophy of Science 40 (1), 51-58.
  • 2008, Projection and Projectability (link)
  • Some Implications of the Adoption of Category Theory for Philosophy, doc
  • Categorification as a Heuristic Device, doc
  • Mathematical Kinds, or Being Kind to Mathematics, pdf
  • Argumentation and the mathematical process, in G. Kampis et al. (eds.) Appraising Lakatos, Kluwer, 2002, 115-138.
  • Smoke rings, history of knot theory


  • Modal Hott, Bristol, Sept 17, slides
  • And, Kent, Feb 18, slides

Notes on type theory




Café Posts


Revised on February 8, 2018 07:27:38 by David Corfield (