Михаил Шульман (математик) - Michael Shulman (mathematician)

Майкл Шульман
Родившийся1980 (39–40 лет)
Лос-Анджелес, Калифорния
НациональностьАмериканец
Альма-матерКалифорнийский технологический институт
Чикагский университет
Научная карьера
ПоляТеория категорий
Гомологическая алгебра
Теория гомотопического типа
УчрежденияУниверситет Сан-Диего
Институт перспективных исследований
ДокторантДж. Питер Мэй

Майкл "Майк" Шульман (/ˈʃuлмəп/; 1980 г.р.), американский математик, Университет Сан-Диего кто работает в теория категорий и теория высших категорий, теория гомотопии, логика применительно к теории множеств, и Информатика.

Работа

Шульман учился на бакалавриате в Калифорнийский технологический институт и его аспирантура в Кембриджский университет и Чикагский университет, где получил докторскую степень. в 2009.

Его докторская диссертация и последующая работа были посвящены приложениям теории категорий к теории гомотопий.

В 2009 году он получил Национальный фонд науки Постдокторантура по математическим наукам.[1]

В 2012–2013 годах он был приглашенным исследователем в Институте перспективных исследований,[2] где он был одним из официальных участников Специальный год по универсальным основам математики.[3] Шульман был одним из основных авторов книги. Теория гомотопических типов: однолистные основы математики,[4] неформальная экспозиция по основам однозначные фонды и теория гомотопического типа.[5] В 2014 году Шульман вошел в команду, возглавляемую Стив Awodey который получил грант в размере 7,5 млн долларов от Исследовательская лаборатория ВВС для теории гомотопического типа.[6]

Блоги

Шульман является сторонником использования веб-программных систем, таких как GitHub, чтобы продвигать совместную работу математиков - 600-страничный Теория гомотопического типа книга является ярким примером. Он вносит значительный вклад в пЛаборатория[7] (и член его руководящего комитета[8]), и соведущий блога теории гомотопических типов[9] и из п-Категория Кафе, блог, посвященный теории высших категорий.[10]

Избранные публикации

  • Михаил Шульман; Синтетическая дифференциальная геометрия 31 мая 2006 г.
  • Даниэль Ликата и Майкл Шульман; Вычисление фундаментальной группы окружности в теории гомотопического типа 15 января 2013
  • Бенедикт Аренс, Крис Капулкин и Майкл Шульман; Однозначные категории и завершение Резка 4 марта 2013 г.
  • Михаил Шульман - В Кембриджские журналы Специальный выпуск: От теории типов и теории гомотопий до однолистных основ математики; Однозначность обратных диаграмм и гомотопическая каноничность 23 ноября 2013 г.
  • Джон К. Баэз и Майкл Шульман; Лекции по п-категории и когомологии В Baez, John C .; Мэй, Дж. Питер, ред. (2009). К высшим категориям. Springer. ISBN  1441915230.

Рекомендации

  1. ^ Майкл Шульман страница на Институт перспективных исследований Школа математики
  2. ^ "Михаил Шульман". Институт перспективных исследований: сообщество ученых.
  3. ^ «Участники Программы Члены». Школа математики МАШ: Универсальные основы математики.
  4. ^ «Вклад HoTT / книга в мастер, за исключением коммитов слияния». GitHub.
  5. ^ Шульман, Майк (20 июня 2013 г.). "Книга HoTT". Кафе n-категории.
  6. ^ «Пресс-релиз: Карнеги-Меллон получил грант Министерства обороны на сумму 7,5 миллионов долларов на преобразование математики». Университет Карнеги Меллон. 28 апреля 2014 г.
  7. ^ "Авторы nLab".
  8. ^ nLab: руководящий комитет
  9. ^ Блог теории гомотопических типов
  10. ^ Шульман публикации в п-Категория Блог Кафе

внешняя ссылка