Applying our lemma A.5.2 to the regular epimorphism f and the arbitrary morphism i indicates that q is an epimorphism . Therefore roq = pou = pov = soq r ...
確定! 回上一頁