Michael Barr  

Born  Philadelphia, Pennsylvania, U.S.  January 22, 1937
Academic background  
Education  University of Pennsylvania (BS, PhD) 
Academic work  
Discipline  Mathematics 
Subdiscipline  Homological algebra Category theory Theoretical computer science 
Institutions  Columbia University University of Illinois UrbanaChampaign McGill University 
Michael Barr (born January 22, 1937) is an American mathematician who is the Peter Redpath Emeritus Professor of Pure Mathematics at McGill University.^{[1]}
YouTube Encyclopedic

1/3Views:78211 3602 907

Unconventional students at Rice 2017: Brian Barr

Visualizing the Path from Fermat's Last Theorem to CalabiYau Spaces by Andrew Hanson, PhD

J. L. Schellenberg  What is God?
Transcription
Early life and education
He was born in Philadelphia, Pennsylvania, and graduated from the 202nd class of Central High School in June 1954. He graduated from the University of Pennsylvania in February 1959 and received a PhD from the same school in June 1962.
Career
Barr taught at Columbia University and the University of Illinois before coming to McGill in 1968.
His earlier work was in homological algebra, but his principal research area for a number of years has been category theory. He is well known to theoretical computer scientists for his book Category Theory for Computing Science with Charles Wells, as well as for the development of *autonomous categories and Chu spaces which have found various applications in computer science. His monograph *autonomous categories, and his books Toposes, Triples, and Theories,^{[2]}^{[3]} also coauthored with Wells, and Acyclic Models, are aimed at more specialized audiences.
He is on the editorial boards of Mathematical Structures in Computer Science and the electronic journal Homology, Homotopy and Applications, and is editor of the electronic journal Theory and Applications of Categories.
References
 ^ "Mathematics and Statistics". McGill University. Retrieved 11 August 2011.
 ^ Pitts, Andrew (March 1991), "Review of Toposes, Triples and Theories by Barr, M., & Wells, C.", Journal of Symbolic Logic, 56 (1): 340–341, doi:10.2307/2274934
 ^ Rota, GianCarlo (August 1986), "Toposes, triples and theories: M. Barr and C. Wells, Springer, 1985, 345 pp.", Advances in Mathematics, 61 (2): 184, doi:10.1016/00018708(86)900769
External links
 Toposes, Triples and Theories, updated edition of text published in 1983.
 Category Theory for Computing Science updated edition of text published in 1999.
 http://www.tac.mta.ca/tac (Theory and Applications of Categories)
 https://web.archive.org/web/20080704125156/http://www.math.rutgers.edu/hha/geninfo.html (Homology, Homotopy and Applications)
 Michael Barr at the Mathematics Genealogy Project