Майкл Барр (родился 22 января 1937 г.) - заслуженный профессор чистой математики Университета Макгилла Питер Редпат . [1]
Ранний период жизни
Он родился в Филадельфии , штат Пенсильвания , и окончил 202-й класс Центральной средней школы в июне 1954 года. Он окончил Пенсильванский университет в феврале 1959 года и получил докторскую степень в той же школе в июне 1962 года. Он преподавал в Колумбийском университете. и Университет штата Иллинойс, прежде чем приехать в МакГилл в 1968 году.
Карьера
Его ранние работы были в области гомологической алгебры , но его основной областью исследований в течение ряда лет была теория категорий . Он хорошо известен теоретикам-информатикам своей книгой « Теория категорий для вычислительной науки» с Чарльзом Уэллсом , а также разработкой * -автономных категорий и пространств Чу, которые нашли различные применения в информатике. Его монография * -autonomous категория , и его книга Топосы, тройки, и теория , [2] [3] также в соавторстве с Уэллсом и ациклические модели , направлены на более специализированные аудиториях.
Он входит в редколлегию журнала « Математические структуры в компьютерных науках» и электронного журнала « Гомология, гомотопия и приложения» , а также является редактором электронного журнала « Теория и приложения категорий» .
Рекомендации
- ^ «Математика и статистика» . Университет Макгилла . Проверено 11 августа 2011 года .
- Перейти ↑ Pitts, A., (1991). Обзор топосов, троек и теорий Барра М. и Уэллса К., Журнал символической логики , 56 марта, 1, 340–341.
- ^ Рота, Г. (1986). Обзоры книг , Успехи в математике 61 2 (октябрь 1986 г.), стр. 184.
Внешние ссылки
- Топосы, тройки и теории , обновленное издание текста, опубликованного в 1983 году.
- Категория Theory for Computing Science - обновленное издание текста, опубликованного в 1999 году.
- http://www.tac.mta.ca/tac (Теория и применение категорий)
- https://web.archive.org/web/20080704125156/http://www.math.rutgers.edu/hha/geninfo.html (Гомология, гомотопия и приложения)
- Майкл Барр в проекте « Математическая генеалогия»