cyberdream's user avatar
cyberdream's user avatar
cyberdream's user avatar
cyberdream
  • Участник в течение 11 лет 2 месяцев
  • Последнее посещение более 6 лет назад
Статистика
647
репутация
44k
затронуто
30
ответов
21
вопрос
Загрузка…
О себе
"Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты - типы данных, а морфизмы - функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где объекты - конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы - линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить."
1
золотой знак
5
серебряных знаков
18
бронзовых знаков
6
Рейтинг
2
Сообщения
4
% сообщений
4
Рейтинг
3
Сообщения
6
% сообщений
3
Рейтинг
12
Сообщения
24
% сообщений
2
Рейтинг
3
Сообщения
6
% сообщений
2
Рейтинг
3
Сообщения
6
% сообщений
1
Рейтинг
3
Сообщения
6
% сообщений
Лучшие сообщения
Посмотреть все вопросы и ответы