Декартов Квадрат

Коуниверсальный квадрат (в категории) — диаграмма Здесь — расслоенное произведение объектов А и В, ассоциированное со схемойa p а и Р в- канонические проекции. Диаграмма является Д. к. тогда и только тогда, когда она коммутативна и для всякой пары морфизмов такой, что am=bv, существует единственный морфизм удовлетворяющий условиям m=dl, v=gl. Лит.:[1] Букур И., Деляну А., Введение в теорию категорий и функторов, пер. с англ., М., 1972. О. А. Иванова.