coherent quasicoherent supersymmetrized affinized convexified convolvable eikonalized overconvergent cofibrant cogredient