Mathematical structuralism and bundle theory | Synapse