Comment by ajkjk

glad you liked it

I wonder if we should really just call them... vectors? Like the thing that torsors do, being defined only relative to a choice of origin in some space / group, is exactly what displacement vectors do. So really they are just generalizations of the concept of a vector. (In this scheme I would be careful to _not_ refer to points as vectors, so as to reserve the term for things that act like, well, torsors. I happen to think that much pedagogical harm has been done by not distinguishing the two concepts, points and displacements, early on.)