Deriving the Standard Model Gauge Group from a Single Category-Theoretic Axiom | Synapse