Егор Загаевский

Проверка страницы Загаевского Егора ВКонтакте (VK)

Число подписчиков: 409

• VK ссылка:id165585709
• О себе:Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где объекты — конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик.
• Ник:rutherfordern
• День рождения:27.11
• Родной город:Нефтеюганск
• Источники вдохновения:Книги и разумные люди
• Главное в людях:смелость и упорство
• Отношение к курению:негативное
• Отношение к алкоголю:негативное