Rewriting on cyclic structures: Equivalence between the operational and the categorical description