Дэвид Спивак

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

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

• Образование и ранняя карьера

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

• Основные достижения

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

• Исследовательская и издательская деятельность

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

• Библиография

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

• Ссылки

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