Workshop: Foundations of Categorical Philosophy of Science
The purpose of this meeting will be to determine what kinds of category-theoretic resources are most appropriate for application to philosophy of science. We aim to address the following questions:
- What is the role for higher category theory and topos theory in articulating the structure of scientific theories?
- To what extent can these more powerful category-theoretic resources capture the full structure of a theory?
- Does the topos-theoretic approach to quantum mechanics admit of any natural generalisation to other theories?
- What (if any) is the relationship between the use of topos theory for foundations of quantum mechanics and its use in general philosophy of science?