Экспоненциальный объект — Википедия

Экспоненциальный объект Экспоненциальный объект в категории — это объект, который имеет все бинарные продукты с другим объектом.  Экспоненциальный объект определяется […]

Экспоненциальный объект

  • Экспоненциальный объект в категории — это объект, который имеет все бинарные продукты с другим объектом. 
  • Экспоненциальный объект определяется через уникальный морфизм, который связывает его с объектом, умноженным на другой объект. 
  • Альтернативное определение экспоненциального объекта может быть дано через уравнения. 
  • Экспоненциальный объект задается универсальным морфизмом из функтора произведения к объекту. 
  • Примеры экспоненциальных объектов включают совокупность всех функций от одного объекта к другому в категории множеств. 
  • В категории топологических пространств экспоненциальный объект существует при определенных условиях. 
  • В функциональных языках программирования морфизм оценки часто называется применять, а синтаксис лямбда-g часто пишется как карри (g). 

Полный текст статьи:

Экспоненциальный объект — Википедия

Оставьте комментарий

Прокрутить вверх