| Профиль | Его (16) |
Ахмед Потапов
- Дата рождения:
- 1 апреля 1995
- Откуда:
- Россия
- Значки:
- О себе:
- Я пробывал самостаятельно выучить теорию котегорий, но непонел, почему при построении котегории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симитричная моноидальная катигория (подобно Hilb, где где объекты — канечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.
- Интересы:
- алкоголь
- Друзья:
- Состоит в:
- Зарегистрирован:
- 04 сентября 2006 в 01:29
Лучшее за 24 часа ↓
