Let be a symmetric monidal ""-Category, and object.

Idea: is the -category whose objects is data of an algebra and a left action of on in .

Defn

The category of symmetries of is the (total space of) the cocartesian fibration

Classifying the functor