Arithmetic field theory via pro-p duality groups | Synapse