ДЕКАРТОВ КВАДРАТ

ДЕКАРТОВ КВАДРАТ, коуниверсальный квадрат (в категории) - диаграмма

Здесь A В - расслоенное произведение объектов А и В, ассоциированное со схемой

а p_A и p_B - канонические проекции. Диаграмма

является Д. к. тогда и только тогда, когда она коммутативна и для всякой пары морфизмов μ: V → A, ν: V → В такой, что αμ = βν, существует единственный морфизм λ: V → P, удовлетворяющий условиям μ = δλ, ν = γλ.

Лит.: [1] Букур И., Деляну А., Введение в теорию категорий и функторов, пер. с англ., М., 1972.

О. А. Иванова.

Источники:

1. Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 2 Д - Коо.-М.: «Советская Энциклопедия», 1979.-1104 стб., ил.