structures in a cohesive (∞,1)-topos
and
A supergroupoid is a 1-truncated super ∞-groupoid.
For a super Lie algebra and a smooth manifold, the groupoid of Lie-algebra valued forms is a super-groupoid: over a given superpoint with function algebra the Grassmann algebra it assigns the ordinary groupoid of Lie-algebra valued forms of the ordinary Lie algebra :