ковыравнивающий морфизм

Мат. coequating morphism