Cтраница 4
Характеристическим морфизмом мономорфизма т ( Х) ( Х) т: T - - QXQ является морфизм Л: QX8 - - Q, называемый морфизмом конъюнкции. [46]
Морфизмом бесконечномерных алгебраических многообразий X - ( JXn и У JYn называется такое отображение /: X - У, что для любого п f ( Xn) С Ут Для некоторого га га ( га), и отображение /: Хп - Ym является морфизмом конечномерных многообразий. [47]
Этот морфизм является доминирующим. [48]
Каждый морфизм / принадлежит однозначно определенному множеству НС ( А, В) [ объект А наз. [49]