Michael Barr (mathematician)
Michael Barr (born January 22, 1937 in Philadelphia ) is an American mathematician who deals with category theory.
life and work
Barr studied mathematics at the University of Pennsylvania with a bachelor's degree in 1959 and his doctorate in 1962 with David Kent Harrison (Cohomology of Commutative Algebras). He was then an instructor at Columbia University and from 1964 Assistant Professor and later Associate Professor at the University of Illinois at Urbana-Champaign . In 1968 he became an Associate Professor and in 1972 Professor at McGill University .
In 1967 and 1975/76 he was visiting professor at the ETH Zurich and 1970/71 at the University of Friborg and 1989/90 visiting professor at the University of Pennsylvania.
Initially he dealt with homological algebra , later with category theory and its applications in computer science. He dealt in particular with * -autonomous categories, chu spaces and chu categories. With Charles Frederick Wells he wrote textbooks on category theory for computer scientists and a textbook on topos theory.
In 1970 he was invited speaker at the International Congress of Mathematicians in Nice ( Non-abelian full embedding: outline ).
Barr serves on the editorial boards of Mathematical Structures in Computer Science and the electronic journal Homology, Homotopy and Applications, and he is the editor of the electronic journal Theory and Applications of Categories .
He has been married to Marcia Linden since 1964 and has three children.
Fonts
- with Charles Wells: Category theory for computing science , Prentice-Hall 1990
- with Charles Wells: Toposes, triples and theories , Grundlehren der Mathematischen Wissenschaften, Springer Verlag 1985
- Acyclic models , American Mathematical Society 2002
- * -autonomous categories , Lecture Notes in Mathematics, Volume 752, Springer Verlag 1979
literature
- F. Lawvere, RAG Seely (Ed.): Journal of Pure and Applied Algebra, Special volume on the occasion of the 60th birthday of professor Michael Barr, North Holland 1999 (McGill University Conference 1997)
Web links
Individual evidence
- ↑ Life data according to American Men and Women of Science, Thomson Gale 2004
- ↑ Michael Barr in the Mathematics Genealogy Project (English)
personal data | |
---|---|
SURNAME | Barr, Michael |
BRIEF DESCRIPTION | American mathematician |
DATE OF BIRTH | January 22, 1937 |
PLACE OF BIRTH | Philadelphia |