The identity arrow is no moves. An operation that takes a cube sand does nothing. It is a left and right unit, and it's unique because we say so.

The arrows are all the valid permutations of the "current state." Note that operations don't really know anything about the actual state of the cube.

The arrows are all the valid permutations of the "current state." Note that operations don't really know anything about the actual state of the cube.