Экспоненциал

Материал из Википедии — свободной энциклопедии

Перейти к: навигация, поиск

[править] Определение

Экспоненциал ZY объектов Z и Y — это такой объект, вместе с морфизмом eval\colon Z^y\times Y \to Y, называемым отображением оценки, что для любого объекта X и морфизма g\colon X\times Y \to Z существует единственный морфизм \lambda g\colon X\to Z^Y, для которого следующая диаграмма коммутативна:

Universal property of the exponential object

[править] Свойства

  • Hom(X\times Y, Z) \simeq Hom(X,Z^Y)

[править] Литература

  • Р. Голдблатт Топосы. Категорный анализ логики, — М.: Мир, 1983. — 487 с.
  • С. Маклейн Категории для работающего математика, — М.: ФИЗМАТЛИТ, 2004. — 352 с — ISBN 5-9221-0400-4.


Простая категория Это незавершённая статья по теории категорий. Вы можете помочь проекту, исправив и дополнив её.
Источник — «http://ru.wikipedia.org/wiki/%D0%AD%D0%BA%D1%81%D0%BF%D0%BE%D0%BD%D0%B5%D0%BD%D1%86%D0%B8%D0%B0%D0%BB»
На других языках