Дэвид Спивак

Оглавление1 Дэвид Спивак1.1 Профессиональная деятельность Дэвида Айзека Спивака1.2 Образование и ранняя карьера1.3 Основные достижения1.4 Исследовательская и издательская деятельность1.5 Библиография1.6 Ссылки2 […]

Дэвид Спивак

  • Профессиональная деятельность Дэвида Айзека Спивака

    • Американский математик, старший научный сотрудник Института Topos 
    • Работал над приложениями теории категорий, включая ologs и операдическую композиционность динамических систем 
  • Образование и ранняя карьера

    • Получил докторскую степень по математике в Калифорнийском университете в Беркли в 2007 году 
    • Работал постдоком в Орегонском университете и Массачусетском технологическом институте 
  • Основные достижения

    • Разработал понятную для людей категориальную систему ologs с Робертом Кентом 
    • Ologs использовались в материаловедении и NIST для решения практических задач 
    • Книга Спивака “Теория категорий для естественных наук” сделала теорию категорий доступной для широкой аудитории 
  • Исследовательская и издательская деятельность

    • Спивак и Брендан Фонг обобщили достижения прикладной теории категорий в книге “Приглашение к прикладной теории категорий” 
    • Основали некоммерческий исследовательский институт Topos Institute 
    • Спивак является редактором журнала Compositionality 
  • Библиография

    • Спивак опубликовал несколько книг и статей по теории категорий 
    • Его работы включают “Теория категорий для естественных наук”, “Теория временной тип” и другие 
  • Ссылки

    • Упоминаются внешние ссылки, включая бывшую домашнюю страницу Спивака в Массачусетском технологическом институте 

Полный текст статьи:

Дэвид Спивак — Википедия

Оставьте комментарий

Прокрутить вверх