Osorno formula for Ganter–Kapranov 2-characters of crossed modules
Let K=(H→∂G)\mathcal{K}=(H\xrightarrow{\partial}G)K=(H∂G) be a crossed module whose fundamental group π1(K)\pi_1(\mathcal{K})π1(K) is finite. Let Θ\ThetaΘ be a 2-representation of…