David Corfield
Home Page

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

Books

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 (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)
  • 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, Final draft
  • 2005, Categorification as a Heuristic Device, in Carlo Cellucci and Donald Gillies (eds.), Mathematical Reasoning and Heuristics, College Publications, doc
  • 2005, 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

Talks

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

Organised conferences

Notes on type theory

Projects

Philosophers

Mathematicians

Café Posts

Extra

Last revised on June 6, 2018 at 04:16:47. See the history of this page for a list of all contributions to it.