над топологическим пространством (клеточным разбиением) X- пространство (клеточное разбиение)
где - единичный отрезок, а косая черта обозначает операцию отождествления подпространства с одной точкой. Надстройкой над пунктированным пространством(X, х 0 )наз. пунктированное пространство
Оно наз. также приведенной, или стянутой, надстройкой. Н. обозначается символом (а иногда ). Соответствие определяет функтор из категории топологических (пунктированных) пространств в себя.
Функториальность Н. позволяет определить гомоморфизм к-рый также наз. надстройкой. Этот гомоморфизм совпадает с композицией гомоморфизма, индуцированного вложением и изоморфизма Гуревича (здесь - операция взятия
…