Дэвид Спивак
Дэвид Исаак Спивак | |
|---|---|
 Спивак в декабре 2019 года | |
| Рожденный | |
| Национальность | Американский |
| Альма-матер | |
| Известный | Олог |
| Научная карьера | |
| Поля | Математика Теория категорий Прикладная теория категорий |
| Учреждения | Институт Топос |
Дэвид Исаак Спивак — американский математик и старший научный сотрудник Института Топос . [1] Он работал над приложениями теории категорий , в частности над ологами и операдической композиционностью динамических систем . Он является автором и соавтором вводных текстов по теории категорий и ее приложениям, «Теория категорий для науки» и «Приглашение к прикладной теории категорий» .
Молодость образование и
Спивак получил докторскую степень по математике в Калифорнийском университете в Беркли в 2007 году под руководством Питера Тайхнера и Джейкоба Лурье . [2] Его диссертация была посвящена производным многообразиям. [3] Спивак работал постдоком в Университете Орегона и Массачусетском технологическом институте . [4]
Работа [ править ]
Спивак и Роберт Кент разработали удобочитаемую категориальную систему представления знаний, называемую ологами . [5] В рамках сотрудничества с ученым-материаловедом Маркусом Бюлером они были применены к различным проблемам материаловедения. [6] [7] [8] Ологи также использовались исследователями из NIST . [9] Целью логов и книги Спивака было показать, что теорию категорий можно сделать относительно простой и, следовательно, понятной более широкой аудитории. Пит Хат поддержал книгу, заявив: «Это первая и пока единственная книга, делающая теорию категорий доступной для нематематиков». [10]
Спивак также изучал динамические системы и операды . [11] [12] [13]
Спивак и Брендан Фонг написали книгу, в которой обобщаются достижения в области прикладной теории категорий для широкой аудитории, и основали некоммерческий прикладной теории категорий научно-исследовательский институт под названием Topos Institute , расположенный в Беркли, Калифорния. [14]
Спивак — редактор открытого доступа алмазного журнала Compositionality . [15]
Библиография [ править ]
- Спивак. Теория категорий для наук , MIT Press, 2014 г.
- Шульц и Спивак. Теория временных типов: теоретико-топосный подход к системам и поведению , Springer-Verlag, 2019, дои : 10.1007/978-3-030-00704-1
- Фонг и Спивак. Приглашение к прикладной теории категорий: семь набросков композиционности , Cambridge University Press, 2019, дои : 10.1017/9781108668804
Ссылки [ править ]
- ^ "Команда" . Институт Топос . Проверено 30 марта 2023 г.
- ^ Дэвид Спивак в проекте «Математическая генеалогия»
- ^ Спивак, Дэвид И. (2008). «Производные гладкие многообразия». Математический журнал Дьюка . 153 : 55–128. arXiv : 0810.5174 . Бибкод : 2008PhDT.......449S . CiteSeerX 10.1.1.244.3704 . дои : 10.1215/00127094-2010-021 . S2CID 18483726 .
- ^ «Дэвид И. Спивак» (PDF) . Дэвид Спивак . Проверено 10 июля 2023 г.
- ^ Спивак, Дэвид И.; Кент, Роберт Э. (31 января 2012 г.). «Ологи: категориальная основа представления знаний» . ПЛОС ОДИН . 7 (1): e24274. arXiv : 1102.1889 . Бибкод : 2012PLoSO...724274S . дои : 10.1371/journal.pone.0024274 . ПМК 3269434 . ПМИД 22303434 .
- ^ Брем, Дениз (8 декабря 2011 г.). «Исследователи связывают узоры, наблюдаемые в паутине, с мелодиями» . news.mit.edu .
- ^ Чендлер, Дэвид Л. (28 ноября 2012 г.). «Музыка шелка» . news.mit.edu .
- ^ Дамрад, Келси (11 сентября 2015 г.). «Новый подход к молекулярному дизайну» . news.mit.edu .
- ^ Пади, Сарала; Брейнер, Спенсер; Субрахманиан, Эсваран; Шрирам, Рам Д. (июнь 2018 г.). «Моделирование и анализ индийской карнатической музыки с использованием теории категорий». Транзакции IEEE по системам, человеку и кибернетике: системы . 48 (6): 967–981. дои : 10.1109/TSMC.2016.2631130 . S2CID 21722758 .
- ^ Спивак, Дэвид И. (2014). Теория категорий для наук . МТИ Пресс. ISBN 978-0-262-02813-4 . [ нужна страница ]
- ^ Спивак, Дэвид И.; Тан, Джошуа (4 сентября 2016 г.). «Вложенность динамических систем и модозависимых сетей». Журнал сложных сетей : cnw022. дои : 10.1093/comnet/cnw022 .
- ^ Гиза, Тристан; Джагадисан, Рави; Спивак, Дэвид И.; Бюлер, Маркус Дж. (сентябрь 2015 г.). «Матриарх: библиотека Python для архитектуры материалов» . ACS Биоматериалы, наука и инженерия . 1 (10): 1009–1015. doi : 10.1021/acsbimaterials.5b00251 . ПМЦ 4996638 . ПМИД 27570830 .
- ^ Спивак, Дэвид И.; Эрнадоте, Доминик; Хаммамми, Омар (2016). «Пиксельные матрицы: элементарный метод решения нелинейных систем». Международный симпозиум IEEE по системной инженерии (ISSE) , 2016 г. стр. 1–5. дои : 10.1109/SysEng.2016.7753120 . ISBN 978-1-5090-0793-6 . S2CID 1156200 .
- ^ Фонг, Брендан; Спивак, Дэвид И. (2019). Приглашение к прикладной теории категорий: семь набросков композиционности . Издательство Кембриджского университета. дои : 10.1017/9781108668804 . ISBN 978-1-108-66880-4 . S2CID 199139551 . [ нужна страница ]
- ^ журнала Редакция "Композиционность" . По состоянию на 16 августа 2019 г.
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
