text: В категории множеств X ⨿ Z Y {\displaystyle X\amalg _{Z}Y} — это дизъюнктное объединение X и Y, в котором отождествлены элементы с общим прообразом в Z. Более точно, X ⨿ Z Y = X ⨿ Y / ∼ , {\displaystyle X\amalg _{Z}Y=X\amalg Y{\big /}\sim ,} где ~ — наименьшее отношение эквивалентности, такое что i1 ∘ f (z) ~ i2 ∘ g(z).