PlanetPhysics/Supergroupoid

A supergroupoid $$(\mathcal{G},\gamma)$$ is a groupoid $$\mathcal{G}$$ equipped with an involutive automorphism $$\gamma : Id \mathcal{G} \to Id \mathcal{G}$$, that is, $$\gamma \circ \gamma = Id \circ Id \mathcal{G}.$$