Is anyone aware of a good mathematical language to describe and reason about how numpy arrays work (broadcastable ndarrays)? I am particularly interested in reasoning about linear maps from one ndarray to another. Clearly ndarrays can be thought of as regular vectors and you can reason about them using linear algebra, but their ndimensionality and broadcasting also gives them more structure which gives them some interesting properties which I would like to reason about. John