В категории множеств копроизведение двух множеств совпадает с их дизъюнктным объединением.