Symposium on the Categorical Unity of the Sciences