> This is an idea for a wrapper around SRFI 231 arrays that allows the
dimensions to be named by symbols, and for each dimension, the
individual rows/columns/whatever to be named by symbols as well

This sounds a bit like Pandas dataframes. They have some foundation in
the relational algebra [2][3], but those are 2D. I don't know how much
it generalized to n > 2 dimensions.

[2]:
https://mchav.github.io/what-category-theory-teaches-us-about-dataframes/
[3]: https://arxiv.org/abs/2001.00888

-- Peter McGoron