Higher-dimensional self-acting groups: From crossed modules to internal categories | Synapse