что за операция?
вот есть у нас "домик" из морфизмов: X -> Y, X -> Z. Рассмотрим все такие домики
и выберем минимальный, т.е. Y <- X' -> Z, при этом есть морфизм из X в X', и домик
удовлетворяет соответствующему универсальному свойству.

такая конструкция как-то называется?

upd: плохо сформулировал. рассматриваем все домики, снабжённые морфизмами из X
то есть все такие X' с морфизмами Y <- X' -> Z и морфизмом X -> X', совместимым с
морфизмами в Y и Z.