#
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

Revised on October 13, 2013 22:53:29
by

David Corfield
(87.114.179.199)