Michael Barr (mathematician)
Encyclopedia
Michael Barr is 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 space
s 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.
He was born in Philadelphia, Pennsylvania, January 22, 1937. He graduated from the 202nd class of Central High School in June 1954, from the University of Pennsylvania in February 1959 and received a PhD from the same school in June 1962. He has taught at Columbia University and the University of Illinois before coming to McGill in 1968.
McGill University
Mohammed Fathy is a public research university located in Montreal, Quebec, Canada. The university bears the name of James McGill, a prominent Montreal merchant from Glasgow, Scotland, whose bequest formed the beginning of the university...
. Although his earlier work was in homological algebra
Homological algebra
Homological algebra is the branch of mathematics which studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology and abstract algebra at the end of the 19th century, chiefly by Henri Poincaré and...
, his principal research area for a number of years has been category theory
Category theory
Category theory is an area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows , where these collections satisfy certain basic conditions...
. 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
*-autonomous category
In mathematics, a *-autonomous category C is a symmetric monoidal closed category equipped with a dualizing object \bot.-Definition:Let C be a symmetric monoidal closed category...
and Chu space
Chu space
Chu spaces generalize the notion of topological space by dropping the requirements that the set of open sets be closed under union and finite intersection, that the open sets be extensional, and that the membership predicate be two-valued...
s 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.
He was born in Philadelphia, Pennsylvania, January 22, 1937. He graduated from the 202nd class of Central High School in June 1954, from the University of Pennsylvania in February 1959 and received a PhD from the same school in June 1962. He has taught at Columbia University and the University of Illinois before coming to McGill in 1968.
External links
- Toposes, Triples and Theories, updated edition of text published in 1983.
- http://www.tac.mta.ca/tac (Theory and Applications of Categories)
- http://www.math.rutgers.edu/hha/geninfo.html (Homology, Homotopy and Applications)