A curved arrow symbol representing a cyclic mapping or right-oriented loop transformation in category theory and abstract algebra.

A curved arrow symbol representing a cyclic mapping or right-oriented loop transformation in category theory and abstract algebra.