This collects some basic objects appearing in Setting - Spherical Derived Geometry
Brauer Stacks
- , (flat) multiplicative group. It classifies “strict units” : Via categorification, the space admit a tower of non-connective deloopings, see omega-monoids
(Remark: these are plain functors, not tensor functors… )
- the strict Picard stack Is represented by