Википедия

Декартово замкнутая категория: различия между версиями

Интерактивная навигация по истории
[отпатрулированная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
SieBot (обсуждение | вклад)
230 454 правки
м робот добавил: ja:カルテシアン閉圏
Какой дурак это писал? Програмисты относятся к теории категорий как инженеры к интегралам ))))
Строка 1:
В [[теория категорий|теории категорий]] '''декартово замкнутой''' называется категория, допускающая интернализацию понятия [[морфизм]]а. Другими словами, каждомукаждой [[морфизм]]упаре обьектов <math>A\to</math> и <math>B</math> в ней соответствует некоторый объект <math>A\Rightarrow B</math>, представляющийкоторый егоможно воспринимать как обьект морфизмов из <math>A</math> в <math>B</math>. Декартово замкнутые категории, находятся, в известном смысле, между абстрактными [[теория категорий|категориями]] и [[теория множеств|теорией множеств]], так как позволяют корректно оперировать с [[Функция (математика)|функция]]ми, но не позволяют, к примеру, оперировать с подобъектами.
 
С точки зрения [[программирование|программирования]] декартово замкнутые категории реализуют [[инкапсуляция|инкапсуляцию]] аргументов функций — каждый аргумент представляется объектом категории и используется как [[чёрный ящик]]. Вместе с тем, выразительности декартово замкнутых категорий вполне достаточно, чтобы оперировать с функциями способом, принятым в [[ламбда-исчисление|λ-исчислении]]. Это делает их естественными категорными моделями [[типизированное ламбда-исчисление|типизированного λ-исчислении]].
Источник — https://ru.wikipedia.org/wiki/Декартово_замкнутая_категория