Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
At super algebra it says
a⊗b=(−1)deg(a)deg(b)b⊗aThe crucial super-grading rule (the “Koszul sign rule”)
in the symmetric monoidal category of Z-graded vector spaces is induced from the subcategory which is the abelian 2-group of metric graded lines. This in turn is the free abelian 2-group (groupal symmetric monoidal category) on a single generator.
What’s the general n-story here?
In this case we found a symmetric monoidal category whose Picard 2-group is the free abelian 2-group on one generator. How would I chose the former?
For n=1, which monoidal cateory do I chose with Picard group equal to ℤ? For n=∞, what has Picard ∞-group the sphere spectrum?
And then what are the equivalents of the Koszul sign rule. Presumably, for n=1, it’s just ordinary commutative multiplication.
I guess some of this is linked to the Baez-Dolan predication from Categorification that if Gn,k denotes the ‘free k-tuply groupal n-groupoid on one object’, then
Gn,k=Πn(ΩkSk).1 to 1 of 1