- Декартов квадрат
-
Определение
Декартов квадрат морфизмов и — это предел диаграммы , то есть такой объект вместе с морфизмами , для которого диаграмма
коммутативна, причём из любого другого объекта , делающего диаграмму коммутативной, существует единственный морфизм , для которого
Литература
- Р. Голдблатт Топосы. Категорный анализ логики, — М.: Мир, 1983. — 487 с.
- С. Маклейн Категории для работающего математика, — М.: ФИЗМАТЛИТ, 2004. — 352 с. — ISBN 5-9221-0400-4.
Категория:- Теория категорий
Wikimedia Foundation. 2010.