Статистика
647
репутация
44k
затронуто
30
ответов
21
вопрос
Загрузка…
О себе
"Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты - типы данных, а морфизмы - функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где объекты - конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы - линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить."
Знаки
Посмотреть все знаки
1
золотой знак
-
Знаменитый вопрос20 июн 2022
5
серебряных знаков
-
Годовалый
× 331 мар 2015 -
Известный вопрос
× 211 мар 2020
18
бронзовых знаков
-
Возрождение31 мар 2015
-
Критик31 мар 2015
-
Любознательный5 фев 2016
Лучшие метки
Посмотреть все метки