We discuss ways in which category theory might be useful in philosophy of science, in particular for articulating the structure of scientific theories. We argue, moreover, that a categorical approach transcends the syntax–semantics dichotomy in twentieth century analytic philosophy of science.