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

Определение

Декартов квадрат морфизмов $f\colon X\to Z$ и $g\colon Y\to Z$ — это предел диаграммы $X\to Z \leftarrow Y$, то есть такой объект P вместе с морфизмами p₁,p₂, для которого диаграмма

коммутативна, причём из любого другого объекта Q, делающего диаграмму коммутативной, существует единственный морфизм $u\colon Q \to P$, для которого

Литература

• Р. Голдблатт Топосы. Категорный анализ логики, — М.: Мир, 1983. — 487 с.
• С. Маклейн Категории для работающего математика, — М.: ФИЗМАТЛИТ, 2004. — 352 с. — ISBN 5-9221-0400-4.