diagonal morphism

Мат. диагональный морфизм