Michael Barr (matemático)

Michael Barr (nacido el 22 de enero de 1937) es un matemático estadounidense que es profesor emérito Peter Redpath de matemáticas puras en la Universidad McGill . ^{[ 1 ]}

Primeros años y educación

Nació en Filadelfia , Pensilvania , y se graduó de la promoción número 202 de la escuela secundaria Central High School en junio de 1954. Se graduó de la Universidad de Pensilvania en febrero de 1959 y recibió un doctorado de la misma universidad en junio de 1962.

Carrera

Barr estudió matemáticas en la Universidad de Pensilvania, donde se licenció en 1959 y se doctoró en 1962 bajo la dirección de David Kent Harrison (Cohomología de álgebras conmutativas ). Posteriormente, fue profesor en la Universidad de Columbia y, a partir de 1964, profesor adjunto y más tarde profesor asociado en la Universidad de Illinois Urbana-Champaign . En 1968, se convirtió en profesor asociado y, en 1972, en profesor titular en la Universidad McGill.

En 1967 y 1975/76 fue científico visitante en la ETH de Zúrich , en 1970/71 en la Universidad de Friburgo y en 1989/90 profesor visitante en la Universidad de Pensilvania.

En 1970 fue ponente invitado en el Congreso Internacional de Matemáticos de Niza (Incrustació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 científicos 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 de Chu que han encontrado varias aplicaciones en ciencias de la computación. Su monografía *-autonomous categories (1979), y sus libros Toposes, Triples, and Theories (1985), ^{[ 2 ]}^{[ 3 ]} también en coautoría con Wells, y Acyclic Models (2002), están dirigidos a audiencias más especializadas. En 2011 Michael Barr y su esposa Marcia publicaron una traducción al inglés del artículo fundamental de Grothendieck en 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 Categories .

Referencias

↑ "Matemáticas y Estadística" . Universidad McGill . Consultado el 11 de agosto de 2011 .
↑ Pitts, Andrew (marzo de 1991), "Reseña de Toposes, Triples and Theories de Barr, M., y Wells, C.", Journal of Symbolic Logic , 56 (1): 340–341 , doi : 10.2307/2274934 , JSTOR 2274934
↑ Rota, Gian-Carlo (agosto de 1986), "Toposes, triples and theories: M. Barr and C. Wells, Springer, 1985, 345 pp.", Advances in Mathematics , 61 (2): 184, doi : 10.1016/0001-8708(86)90076-9

Enlaces externos

Topos, triples y teorías , edición actualizada del texto publicado originalmente en 1985.
Teoría de categorías para la informática , tercera edición actualizada del libro.
Algunos aspectos del álgebra homológica , traducción del artículo de Grothendieck en Tôhoku.
http://www.tac.mta.ca/tac (Teoría y aplicaciones de las categorías)
https://web.archive.org/web/20080704125156/http://www.math.rutgers.edu/hha/geninfo.html (Homología, homotopía y aplicaciones)
Michael Barr en el Proyecto de Genealogía Matemática

[1] "Matemáticas y Estadística" . Universidad McGill . Consultado el 11 de agosto de 2011 .

[2] Pitts, Andrew (marzo de 1991), "Reseña de Toposes, Triples and Theories de Barr, M., y Wells, C.", Journal of Symbolic Logic , 56 (1): 340–341 , doi : 10.2307/2274934 , JSTOR 2274934

[3] Rota, Gian-Carlo (agosto de 1986), "Toposes, triples and theories: M. Barr and C. Wells, Springer, 1985, 345 pp.", Advances in Mathematics , 61 (2): 184, doi : 10.1016/0001-8708(86)90076-9

[ 1 ]

[ 2 ]

[ 3 ]