equivariance covariantization covariantisation metabelianization oddification affinization algebraization cubicovariant symplectization coherentization