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
Search
Apr 16, 20241 min read
Let C be a symmetric monidal ""∞-Category, X and object.
Idea: Symtr(X) is the ∞-category whose objects is data of an algebra A and a left action of A on X in C.
Defn
The category of symmetries of X∈C is the (total space of) the cocartesian fibration
Symtr(X,C)→Alg(1)(C) Classifying the functor
LMod(−)(C)×C{x}:Alg(1)(C)→Cat∞