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

коуниверсальный квадрат (в категории) - диаграмма [img: http://localhost:8080/file/020508-41.jpg] Здесь [img: http://localhost:8080/file/020508-42.jpg] - расслоенное произведение объектов А и В, ассоциированное со схемой [img: http://localhost:8080/file/020508-43.jpg] a p а и Р в- канонические проекции. Диаграмма [img: http://localhost:8080/file/020508-44.jpg] является Д. к. тогда и только тогда, когда она коммутативна и для всякой пары морфизмов [img: http://localhost:8080/file/020508-45.jpg] такой, что am=bv, существует единственный морфизм [img: http://localhost:8080/file/020508-46.jpg] удовлетворяющий условиям m=dl, v=gl.