Не, вполне конкретное отображение, заданное отображение X to Y. Правда там опечатка, я имел в виду Cyl(f) to Y x I
(Я думаю, что ты имеешь в виду вот такое отображение)
Cyl(f) —> Y x I : (x, t) —> (f(x), t), y —> (y, 0) (пусть у цилиндра Y приклеено к X x {0})
Можно продолжить вложения X x I —> Cyl(f), Y —> Cyl(f) до отображения Y x I —> Cyl(f), но будет ли это сечением? (других разумных отображений не удаётся придумать)