Математическая энциклопедия - декартов квадрат

коуниверсальный

квадрат (в категории) диаграмма

Здесь расслоенное произведение объектов

А и В, ассоциированное со схемой

a p а ^и Р вканонические проекции. Диаграмма

является Д. к. тогда и только тогда, когда она коммутативна и для всякой пары морфизмов такой, что am=bv, существует единственный морфизм удовлетворяющий условиям m=dl, v=gl. Лит.:[1] Букур И., Деляну А., Введение в теорию категорий и функторов, пер. с англ., М., 1972.

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985