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