General Theory of Natural Equivalences | Synapse