Michael Barr (mathematician)

Michael Barr (born January 22, 1937) is Peter Redpath Emeritus Professor of Pure Mathematics at McGill University.[1]

Early life

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. He taught at Columbia University and the University of Illinois before coming to McGill in 1968.

Career

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.

gollark: (it's Lua)
gollark: I think that should work.
gollark: ```lualocal function div(n, divideby) local a = n local b = 0 while a > divideby do b = b + 1 a = a - divideby end return bend```
gollark: But in any case, if you can make a generalized computer, you can program it to divide things.
gollark: It runs on CC computers.

References
  1. "Mathematics and Statistics". McGill University. Retrieved 11 August 2011.
  2. Pitts, A., (1991). Review of Toposes, Triples and Theories by Barr, M., & Wells, C., Journal of Symbolic Logic, March 56, 1, 340–341.
  3. Rota, G. (1986). Book Reviews, Advances in Mathematics 61 2 (October 1986), p. 184.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.