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