О терминологии. Множество всех возможных программ Q с помощью рефакторинга преобразуется не в вареники, какие-нибудь,
а в другие программы принадлежащие этому же множеству программ Q. Поэтому по крайней мере это эндоморфизм. эндоморфизм
Занятный факт: Множество всех возможных программ Q не более чем счетно, т.е. каждой возможной программе можно взаимно однозначно сопоставить натуральное число.