The 2-character theory for finite 2-groups | Synapse