magnitude metanorm norming comonoid normaloid renorming normed vector space comodule two-norm norm
and is s operators operator of are