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.
Now we have linear HoTT, we might extend to a ’homotopy type linear representation theory’. Is there anything novel here? Would something like character theory be conveniently expressed by linear HoTT?
First of all we can record that -linear -representations are subsumed as those -actions in -linear tangent -toposes, in the sense of the table, whose incarnation as a fibration over is a -counit – as in Exp. 2.22 of Entanglement of Sections.
I guess a good path to character theory in this way is through the homotopic reformulation in, say, pp. 3-5 of Raksit’s Characters in global equivariant homotopy theory.
1 to 3 of 3