Home Page

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

- 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 (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 - 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

- 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

- What Category Theory can do for Philosophy
- Type Theory and Philosophy
- Practical and Foundational Aspects of Type Theory

- Event types
- Brandom and material inference
- All types
- hyperintensionality
- probability
- judgments
- deduction, induction, abduction
- polarity
- modality
- invariance
- reader monad?
- type, monad, process
- temporal type theory
- knowledge
- inferentialism

- A Dialogue on Infinity
- Klein 2-Geometry
- Two Cultures
- Mathematics and Co-Mathematics
- Physics of the observer
- Motifs and Phantoms
- realism
- Philosophy as Normative or Descriptive
- Friedman's Dynamics of Reason (change in status of principles; Friedman's schema; cohomology; objections and observations; diagnosis; Friedman and DTT)
- Homotopy type theory
- Dialectic and Eristic
- Bayesianism in Mathematics
- Shaperean Philosophy of Mathematics
- 1-2-3
- Langlands
- HoTT for Physics
- Historical Motivation

- Albert Lautman
- Imre Lakatos
- Ernst Cassirer
- Colin McLarty
- R G Collingwood
- Michael Polanyi
- David Carr
- Dudley Shapere
- Rudolf Carnap
- Robert Brandom

Last revised on February 10, 2019 at 05:27:04. See the history of this page for a list of all contributions to it.