3 ms·

Is it fruitful to think of upper/lower indices as a type system for linear transformations?

• tel 12y ago
  I definitely think so. I think it's done informally regardless, but I've never thought about formalizing it.