Дэвид Спивак
-
Профессиональная деятельность Дэвида Айзека Спивака
- Американский математик, старший научный сотрудник Института Topos
- Работал над приложениями теории категорий, включая ologs и операдическую композиционность динамических систем
-
Образование и ранняя карьера
- Получил докторскую степень по математике в Калифорнийском университете в Беркли в 2007 году
- Работал постдоком в Орегонском университете и Массачусетском технологическом институте
-
Основные достижения
- Разработал понятную для людей категориальную систему ologs с Робертом Кентом
- Ologs использовались в материаловедении и NIST для решения практических задач
- Книга Спивака «Теория категорий для естественных наук» сделала теорию категорий доступной для широкой аудитории
-
Исследовательская и издательская деятельность
- Спивак и Брендан Фонг обобщили достижения прикладной теории категорий в книге «Приглашение к прикладной теории категорий»
- Основали некоммерческий исследовательский институт Topos Institute
- Спивак является редактором журнала Compositionality
-
Библиография
- Спивак опубликовал несколько книг и статей по теории категорий
- Его работы включают «Теория категорий для естественных наук», «Теория временной тип» и другие
-
Ссылки
- Упоминаются внешние ссылки, включая бывшую домашнюю страницу Спивака в Массачусетском технологическом институте
Полный текст статьи: