На данном рисунке изображен фрагмент из категории множеств: множество, состоящее из шести элементов, и две проекции из него, соответственно, в трех- и двухэлементное множества, произведением которых оно и является. Сразу замечу, что копроизведение тех же множеств, которое еще иногда называют прямой суммой, будет, как и положено обычной сумме, состоять из пяти элементов.