Btw, since categories are associative structures, it is interesting how are they applied to octonions, which are notoriously known for their lack of associativity property?