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