Skip to main content
1 of 2
Konrad Waldorf
  • 4.5k
  • 4
  • 29
  • 37

Here is one way to see it: gerbes on $M$ form a bigroupoid.

In particular, if $\mathcal{G}$ is a gerbe over $M$, and $\mathcal{I}_M$ denotes the trivial gerbe over $M$ (trivial cover $\{M\}$, trivial line bundles, trivial isomorphism) then we have a groupoid $Hom(\mathcal{G},\mathcal{I}_M)$ of "trivializations".

Define $$ U \mapsto Hom(\mathcal{G}|_U,\mathcal{I}_U). $$ This is your stack on the site of open sets of $M$.

Konrad Waldorf
  • 4.5k
  • 4
  • 29
  • 37