4 ms·
As others have said, you can recover the notation exactly through category theory
by tel 11y ago
As others have said, you can recover the notation exactly through category theory
- jessriedel 11y agoCould you link me? Ctrl-F-ing for 'vector' didn't help.
- tel 11y agoMy understanding, though I've never personally made it explicit, is that you view "contra/covariance" as arising not as a property of vector spaces exactly (concretely) but instead from tensors-as-multilinear-maps and you talk about them as functors between transformation groups on vector spaces which either preserve (co-) or reverse (contra-) transformations. The inner product lets you view vector spaces as spaces of transformations already so the same sort of idea comes out now viewing vector spaces as maps in their own right.