Michael Barr (nacido el 22 de enero de 1937) es un matemático estadounidense que es profesor emérito Peter Redpath de Matemática Pura en la Universidad McGill . [1]
Nació en Filadelfia , Pensilvania , y se graduó en la promoción 202 de Central High School en junio de 1954. Se graduó en la Universidad de Pensilvania en febrero de 1959 y recibió un doctorado en la misma escuela en junio de 1962.
Barr estudió matemáticas en la Universidad de Pensilvania, donde se graduó con una licenciatura en 1959 y un doctorado en 1962 con David Kent Harrison (Cohomología de álgebras conmutativas ). Luego fue instructor en la Universidad de Columbia y desde 1964 profesor asistente y más tarde profesor asociado en la Universidad de Illinois Urbana-Champaign . En 1968 se convirtió en profesor asociado y en 1972 profesor en la Universidad McGill.
En 1967 y 1975/76 fue científico visitante en ETH Zurich y en 1970/71 en la Universidad de Friburgo y en 1989/90 profesor invitado en la Universidad de Pensilvania.
En 1970 fue orador invitado en el Congreso Internacional de Matemáticos en Niza (inclusión completa no abeliana: esquema ).
Su trabajo anterior fue en álgebra homológica , pero su principal área de investigación durante varios años ha sido la teoría de categorías . Es bien conocido entre los informáticos teóricos por su libro Category Theory for Computing Science (1990) con Charles Wells , así como por el desarrollo de categorías *-autónomas y espacios Chu que han encontrado diversas aplicaciones en la informática. Su monografía *-Categorías autónomas (1979), y sus libros Toposes, Triples, and Theories (1985), [2] [3] también en coautoría con Wells, y Aciclic Models (2002), están dirigidos a un público más especializado. En 2011, Michael Barr y su esposa Marcia publicaron una traducción al inglés del artículo fundamental de Grothendieck sobre Tôhoku .
Barr forma parte de los consejos editoriales de Mathematical Structures in Computer Science y de la revista electrónica Homology, Homotopy and Applications , y es editor de la revista electrónica Theory and Applications of Category .