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

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м Danneks переименовал страницу Декартов квадрат в Расслоенное произведение: более однозначное название
Строка 12:
: [[Файл:CategoricalPullback-02.png]]
 
Внутренний квадрат, образованный морфизмами <math>f,g,p_1,p_2</math> называюьназывается декартовым (или коуниверсальным) квадратом для пары морфизмов <math>f</math> и <math>g.</math>. Расслоенное произведение <math>(P,p_1,p_2)</math> называют также коамальгамой морфизмов <math>f</math> и <math>g.</math>
 
Как и другие объекты, определённые с помощью [[Универсальное свойство|универсального свойства]], расслоенное произведение не обязательно существует, но если существует, то определено с точностью до изоморфизма.