Информация

На этой странице анализируются те данные, которые Егор сделал общедоступными. Сейчас найдена такая информация о Егоре Загаевском. Возможно, когда-нибудь он расскажет про себя немного больше.

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

Был онлайн 12 декабря 2024 в 18:57:07

Анализ профиля ВКонтакте (VK)

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

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

Друзья

Дата регистрации ВКонтакте

Страница VK была создана 26 февраля 2012 года

12 лет 9 месяцев 16 дней назад

Интересы и хобби

Деятельность:
Исследователь

Опыт работы и образование

СПбГАСУ

Фотографии

Егор время от времени выкладывает свои фотографии. На данный момент он загрузил в сеть 17 отличных кадров. Ниже можно на них посмотреть, хотя, вероятно, это далеко не все снимки.