Double groupoids and 2-groupoids in regular Mal'tsev categories | Synapse