11 earlier thoughts
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).
Keyboard navigation
?
c
g
j
←
k
→
p
s
ctrl + enter
alt + enter
esc