Michael Barr (nacido el 22 de enero de 1937) es profesor emérito Peter Redpath de matemáticas puras en la Universidad McGill . [1]
Vida temprana
Nació en Filadelfia , Pensilvania , y se graduó de la clase 202 de 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 escuela en junio de 1962. Enseñó en la Universidad de Columbia y la Universidad de Illinois antes de llegar a McGill en 1968.
Carrera profesional
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 por los informáticos teóricos por su libro Teoría de categorías para la ciencia de la computación 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 , y sus libros Topos, Triples y Theories , [2] [3] también en coautoría con Wells, y Acyclic Models , están dirigidos a un público más especializado.
Es miembro 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, A., (1991). Revisión de Topos, Triples y Teorías por Barr, M. y Wells, C., Journal of Symbolic Logic , 56 de marzo, 1, 340–341.
- ↑ Rota, G.-C. (1986). Reseñas de libros , Advances in Mathematics 61, 2, p. 184.
enlaces externos
- Topos, Triples and Theories , edición actualizada de texto publicado en 1983.
- Category Theory for Computing Science edición actualizada del texto publicado en 1999.
- http://www.tac.mta.ca/tac (Teoría y aplicaciones de 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