3 ms·
There's clearly a connection here to geometric [Clifford] algebra but I don't quite know how to state it other than "vector algebra is messy because it confuses
by dreamcompiler 4y ago
There's clearly a connection here to geometric [Clifford] algebra but I don't quite know how to state it other than "vector algebra is messy because it confuses groups and torsors while geometric algebra deconfuses the two."
Also it appears that recognizing torsors is analogous to being rigorous with types. Or perhaps typeclasses.
- chombier 4y agoIf anything, I would say that geometric algebra (with its vector division) confuses the group/torsor situation even more since they're both part of the same algebra.