Developing a Foundation of Vector Symbolic Architectures Using Category Theory