Such operations are very naturally described as matrix product ... the use of higher category theory and its associated mathematical tools have only very recently been developed. "For specific ...