David Corfield
Home Page



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


Articles and preprints

  • 2017, 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) in Elaine Landry (ed.) 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, (pdf, link)
  • 2010, Understanding the Infinite I: Niceness, Robustness, and Realism (pdf, 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 in Dataset Shift in Machine Learning, MIT Press, (link)
  • 2006, Some Implications of the Adoption of Category Theory for Philosophy, in Giandomenico Sica (ed.), What is Category Theory?, Polimetrica s.a.s., 75-94, Sica.doc Final draft
  • 2005, Categorification as a Heuristic Device, in Carlo Cellucci and Donald Gillies (eds.), Mathematical Reasoning and Heuristics, College Publications, doc
  • 2004, Mathematical Kinds, or Being Kind to Mathematics, Philosophica, 74, 30–54, pdf
  • 2002, Argumentation and the mathematical process, in G. Kampis et al. (eds.) Appraising Lakatos, Kluwer, 115-138.
  • Smoke rings, history of knot theory


  • Modal Homotopy type theory, Bristol, Sept 16, slides
  • Homotopy type theory: A revolution in the foundations of mathematics?, Canterbury, March 17, slides
  • And, Kent, Feb 18, slides
  • Modal Homotopy type theory: the new new logic, Beijing, Aug 18, slides
  • The ubiquity of modal types, Birmingham, Sept 18, slides
  • How we use monads without ever realising it, Kent, Mar 19, slides
  • The narratives category theorists live by, LSE, Sept 19, slides
  • Vienna, Dec 19

Organised conferences





Café Posts


Last revised on December 14, 2019 at 11:55:33. See the history of this page for a list of all contributions to it.