Math and Programming

12 thoughts
last posted July 24, 2014, 5:56 a.m.

11 earlier thoughts

0

The fact you can think of a metric either as a mapping of two vectors to a scalar or as a mapping from a vector to a one-form sounds an awful lot like currying (as I've pointed out before).