Composition uses a group action, which should be even more relevant later.
The projection of Rubik composition on the corner/edge orientation

Cubie (_, co) = (Cubie (_, ao)) * c

can be seen as a ("right") action of the Rubik group on the orientation vector