Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где объекты — конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.
Контакты

Достижения

Все достижения (6)

Наибольший вклад в теги

Все теги (39)

Лучшие ответы пользователя

Все ответы (12)

Лучшие вопросы пользователя

Все вопросы (8)