Category RAlg' defined.