Michael Barr (mathematician)

From Wikipedia, the free encyclopedia

Michael Barr is the Peter Redpath Emeritus Professor of Pure Mathematics at McGill University. Although his earlier work was in homological algebra, 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 Triples, Toposes, and Theories, 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.

[edit] External references

• ftp://ftp.math.mcgill.ca/pub/barr/ttt (Triples, Toposes, and Theories--downloadable files)
• http://www.tac.mta.ca/tac (Theory and Applications of Categories)
• http://www.math.rutgers.edu/hha/geninfo.html (Homology, Homotopy and Applications)