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

В [[теория категорий|теории категорий]], '''декартов квадрат''' [[морфизм]]ов <math>f\colon X\to Z</math> и <math>g\colon Y\to Z</math> — это [[Предел (теория категорий)|предел]] [[диаграмма (теория категорий)|диаграммы]], состоящей из двух морфизмов: <math>X\to Z \leftarrow Y</math>. Также называется '''расслоённым произведением'''. Декартов квадрат часто обозначают <math> P = X \times_Z Y.\, </math>.