David Corfield What Category Theory can do for Philosophy

A workshop with this title will be held at the University of Kent, Canterbury, 9-11 July 2013. (webpage)

• Natural language: Ranta, Coecke, Sadrzadeh, Clark, Reyes et al. on count and mass nouns
• Definite descriptions: blog
• Self-reference: blog, in particular discussion
• Modal logic: I, II, III, IV
• Duality: Yoshihiro Maruyama
• Quantum mechanics: categorical, Bohr topos
• Physics more generally: nLab and Geometry of Physics
• Biology: blog
• Logic: freedom from logic, introduction/elimination as adjoints, type theory in relation to category theory
• Structural realism: blog
• Structuralism: Steve Awodey
• Identity: homotopy type theory, also chap. 10 of Towards
• Diagrammatic notation: nLab, also chap. 10 of Towards, and Baez
• Cohomology: holes, Condorcet/Arrow’s theorem, intuitions about cohomology
• Philosophy of Science: see Weatherall
• Cognition: Reyes and MacNamara, The Logical Foundations of Cognition, my own chapter in G. Sica (ed.) What is Category Theory?, Goguen Conceptual blending
• Singularities and Catastrophe theory: discussion

References

Towards a Philosophy of Real Mathematics, CUP, 2003