Майкл « Майк » Шульман ( родился в 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]