Майкл Шульман (математик)
Майкл Шульман | |
|---|---|
| Рожденный | 1980 (43–44 года) |
| Академическое образование | |
| Альма-матер | Калифорнийский технологический институт Чикагский университет |
| Докторантура | Дж. Питер Мэй |
| Академическая работа | |
| Дисциплина | Теория категорий Гомологическая алгебра Теория гомотопических типов |
| Учреждения | Университет Сан-Диего Институт перспективных исследований |
Майкл « Майк » Шульман ( / ˈ ʃ uː l m ə n / ; род. 1980) — американский доцент математики в Университете Сан-Диего. [1] который работает в области теории категорий и теории высших категорий , теории гомотопий , логики в применении к теории множеств и информатики .
Работа [ править ]
Шульман закончил бакалавриат в Калифорнийском технологическом институте и аспирантуру в Кембриджском и Чикагском университетах , где получил степень доктора философии. в 2009 году.
Его докторская диссертация и последующие работы были посвящены приложениям теории категорий к теории гомотопий.
В 2009 году он получил стипендию для постдокторских исследований по математическим наукам Национального научного фонда . [2]
В 2012–2013 годах он был приглашенным научным сотрудником Института перспективных исследований. [3] где он был одним из официальных участников Специального года одновалентных оснований математики . [4] Шульман был одним из основных авторов книги « Теория гомотопических типов: Одновалентные основания математики» . [5] неформальное изложение основ однолистных оснований и теории гомотопических типов . [6] В 2014 году Шульман был частью команды, возглавляемой Стивом Аводи , которая получила грант в размере 7,5 миллионов долларов от Исследовательской лаборатории ВВС на теорию гомотопических типов. [7]
Блоги [ править ]
Шульман является сторонником использования сетевых программных систем, таких как GitHub шестисотстраничная книга по теории гомотопических типов , для продвижения совместной работы математиков. Ярким примером является . Он активно сотрудничает с n Lab. [8] (и член его руководящего комитета [9] ), а также соведущий блога по теории гомотопических типов. [10] и блога n -Category Cafe , посвященного теории высших категорий. [11]
Избранные публикации [ править ]
- Майкл Шульман; Синтетическая дифференциальная геометрия . 31 мая 2006 г.
- Дэниел Ликата и Майкл Шульман; Вычисление фундаментальной группы окружности в гомотопической теории типов . 15 января 2013 г.
- Бенедикт Аренс, Крис Капулкин и Майкл Шульман; Одновалентные категории и пополнение Резка . 4 марта 2013 г.
- Майкл Шульман – Специальный выпуск Cambridge Journals : От теории типов и теории гомотопий к одновалентным основам математики; Однолистность обратных диаграмм и гомотопическая каноничность . 23 ноября 2013 г.
- Джон К. Баэз и Майкл Шульман; Лекции по -категории и когомологии В Баэз, Джон К.; Мэй, Дж. Питер, ред. (2009). К более высоким категориям . Спрингер. ISBN 978-1441915238 . .
Ссылки [ править ]
- ^ «Майкл Шульман, доктор философии» . Университет Сан-Диего . Проверено 24 марта 2021 г.
- ^ Страница Майкла Шульмана в Института перспективных исследований . Школе математики
- ^ «Майкл Шульман» . Институт перспективных исследований: сообщество ученых .
- ^ «Участники программы IAS» . Школа математики IAS: Универсальные основы математики . 13 июля 2012 г.
- ^ «Вклад HoTT/книги в мастер, за исключением коммитов слияния» . Гитхаб .
- ^ Шульман, Майк (20 июня 2013 г.). «Книга ХоТТ» . Кафе «Н-Категория» .
- ^ «Пресс-релиз: Карнеги-Меллон получил грант Министерства обороны в размере 7,5 миллионов долларов на изменение математики» . Университет Карнеги-Меллон . 28 апреля 2014 г.
- ^ «Авторы нЛаб» .
- ^ nLab: руководящий комитет
- ^ Блог теории гомотопических типов
- ^ Публикации Шульмана в блоге n -Category Cafe.
