Akademik

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

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

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

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

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

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

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