rename DT by morphism : state → cstate; OP → COP; PROG → CPROG; SEM → CSEM; ⊗ → ⊗; ⊗ → ⊗; ⊗ → ⊗; ⊗ → ⊗; dom → dom; dom → dom; dom → dom; ran → ran; ran → ran; ran → ran; INIT → CINIT; FIN → CFIN; st → cs; st0 → cs0; st1 → cs1; st2 → cs2; op → cop; op1 → cop1; op2 → cop2; sem → csem; init → cinit; fin → cfin; p → cp; end rename