Расслоённое произведение: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
этот как раз универсальный, коуниверсальный -- это кодекартов
м викификация
Строка 1:
'''Декартов квадрат''' (''расслоенноерасслоённое произведение'', ''универсальный квадрат'', ''коамальгама'', {{lang-en|pullback}}) — [[Теория категорий|теоретико-категорное]] понятие, определяемое как [[Предел (теория категорий)|предел]] [[диаграмма (теория категорий)|диаграммы]], состоящей из двух [[морфизм]]ов: <math>X\to Z \leftarrow Y</math>. Декартов квадрат часто обозначают <math> P = X \times_Z Y</math>.
 
[[Двойственность (теория категорий)|Двойственное]] понятие — [[кодекартов квадрат]].
 
== Универсальное свойство ==