equivariantization affinization rationalification algebraization strictification rigorization convexification symplectization concavification oddification