Майкл Барр (математик)
Майкл Барр | |
|---|---|
| Рожденный | 22 января 1937 г. Филадельфия , Пенсильвания , США |
| Академическое образование | |
| Образование | Пенсильванский университет ( бакалавр наук , доктор философии ) |
| Академическая работа | |
| Дисциплина | Математика |
| Субдисциплина | Гомологическая алгебра Теория категорий Теоретическая информатика |
| Учреждения | Колумбийский университет Университет Иллинойса Урбана-Шампейн Университет Макгилла |
Майкл Барр (родился 22 января 1937 г.) - американский математик, Питера Редпата почетный профессор чистой математики в Университете Макгилла . [1]
Молодость образование и
Он родился в Филадельфии , штат Пенсильвания , и окончил 202-й класс Центральной средней школы в июне 1954 года. Он окончил Пенсильванский университет в феврале 1959 года и получил степень доктора философии в той же школе в июне 1962 года.
Карьера [ править ]
Барр изучал математику в Пенсильванском университете, получив степень бакалавра в 1959 году и докторскую степень в 1962 году под руководством Дэвида Кента Харрисона (когомологии коммутативных алгебр ). Затем он был преподавателем в Колумбийском университете , а с 1964 года — доцентом, а затем доцентом в Университете Иллинойса Урбана-Шампейн . В 1968 году он стал доцентом, а в 1972 году — профессором Университета Макгилла.
В 1967 и 1975/76 годах он был приглашенным научным сотрудником в ETH Цюриха , в 1970/71 году – во Фрибурском университете , а в 1989/90 году – приглашенным профессором в Пенсильванском университете.
В 1970 году он был приглашенным докладчиком на Международном конгрессе математиков в Ницце (Неабелева полное вложение: схема ).
Его ранние работы были посвящены гомологической алгебре , но его основной областью исследований в течение ряда лет была теория категорий . Он хорошо известен ученым-теоретикам в области информатики благодаря своей книге «Теория категорий для вычислительной науки» (1990) с Чарльзом Уэллсом , а также разработкой *-автономных категорий и пространств Чу , которые нашли различные приложения в информатике. Его монография *-автономные категории (1979) и книги «Топосы, тройки и теории» (1985). [2] [3] также написанные в соавторстве с Уэллсом и «Ациклические модели» (2002), нацелены на более специализированную аудиторию. В 2011 году Майкл Барр и его жена Марсия опубликовали английский перевод Гротендика фундаментальной о Тохоку статьи .
Барр входит в редакционную коллегию журнала « Математические структуры в информатике» и электронного журнала «Гомология, гомотопия и приложения» , а также является редактором электронного журнала « Теория и применение категорий» .
Ссылки [ править ]
- ^ «Математика и статистика» . Университет Макгилла . Проверено 11 августа 2011 г.
- ^ Питтс, Эндрю (март 1991 г.), «Обзор топосов, троек и теорий Барра М. и Уэллса К.», Журнал символической логики , 56 (1): 340–341, doi : 10.2307/2274934
- ^ Рота, Джан-Карло (август 1986 г.), «Топосы, тройки и теории: М. Барр и К. Уэллс, Springer, 1985, 345 стр.» , Успехи в математике , 61 (2): 184, doi : 10.1016/0001-8708(86)90076-9
Внешние ссылки [ править ]
- Топосы, тройки и теории , обновленное издание текста, впервые опубликованное в 1985 году.
- Теория категорий для информатики , обновленное 3-е издание книги.
- Некоторые аспекты гомологической алгебры Гротендика о Тохоку , перевод статьи
- http://www.tac.mta.ca/tac (Теория и применение категорий)
- https://web.archive.org/web/20080704125156/http://www.math.rutgers.edu/hha/geninfo.html (Гомология, гомотопия и приложения)
- Майкл Барр в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 .svg){kind=small}  | Эта биографическая статья о канадском компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |
- 1937 рождений
- Живые люди
- Математики из Филадельфии
- Выпускники Центральной средней школы (Филадельфия)
- Выпускники Школы искусств и наук Пенсильванского университета
- Академический состав Университета Макгилла
- Канадские математики
- Канадские ученые-компьютерщики
- Англоязычные жители Квебека
- Теоретики категорий
- Незавершенные статьи о канадских компьютерных специалистах