Jump to content

Michael Barr (mathematician): Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous edit
Content deleted Content added
VisualWikitext
Added bibliographic information taken from the German Wikipedia article. Unfortunately, the German article does not include proper references.
Tags: possible unreferenced addition to BLP Visual edit
tohoku paper translation
 
Line 21: Line 21:
In 1970 he was an invited speaker at the [[International Congress of Mathematicians]] in [[Nice]] ''(Non-abelian full embedding: outline'').
In 1970 he was an invited speaker at the [[International Congress of Mathematicians]] in [[Nice]] ''(Non-abelian full embedding: outline'').


⚫
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 scientist]]s for his book ''Category Theory for Computing Science'' (1990) with [[Charles Wells (mathematician)|Charles Wells]], as well as for the development of [[*-autonomous category|*-autonomous categories]] and [[Chu space]]s which have found various applications in computer science. His monograph ''*-autonomous categories'' (1979), and his books ''Toposes, Triples, and Theories'' (1985),<ref>{{citation
Barr is on the editorial board of ''[[Mathematical Structures in Computer Science]]'' and the electronic journal ''[[Homology, Homotopy and Applications]]'', and he is editor of the electronic journal ''[[Theory and Applications of Categories]]''.

⚫
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 scientist]]s for his book ''Category Theory for Computing Science'' with [[Charles Wells (mathematician)|Charles Wells]], as well as for the development of [[*-autonomous category|*-autonomous categories]] and [[Chu space]]s which have found various applications in computer science. His monograph ''*-autonomous categories'', and his books ''Toposes, Triples, and Theories'',<ref>{{citation
| last=Pitts | first=Andrew
| last=Pitts | first=Andrew
| date=March 1991
| date=March 1991
Line 40: Line 38:
| pages=184
| pages=184
| doi=10.1016/0001-8708(86)90076-9 | doi-access=free
| doi=10.1016/0001-8708(86)90076-9 | doi-access=free
| url=https://doi.org/10.1016/0001-8708(86)90076-9}}</ref> also coauthored with Wells, and ''Acyclic Models'', are aimed at more specialized audiences.
| url=https://doi.org/10.1016/0001-8708(86)90076-9}}</ref> also coauthored with Wells, and ''Acyclic Models'' (2002), are aimed at more specialized audiences. In 2011 Michael Barr and his wife Marcia published an English translation of [[Alexander Grothendieck|Grothendieck]]'s fundamental [[Grothendieck's Tôhoku paper|''Tôhoku'' paper]].


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''.
Barr 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==
==References==
Line 48: Line 46:


==External links==
==External links==
* [http://www.tac.mta.ca/tac/reprints/articles/12/tr12.pdf ''Toposes, Triples and Theories''], updated edition of text published in 1983.
* [http://www.tac.mta.ca/tac/reprints/articles/12/tr12.pdf ''Toposes, Triples and Theories''], updated edition of text first published in 1985.
* [http://www.tac.mta.ca/tac/reprints/articles/22/tr22.pdf ''Category Theory for Computing Science''] updated edition of text published in 1999.
* [http://www.tac.mta.ca/tac/reprints/articles/22/tr22.pdf ''Category Theory for Computing Science''], updated 3rd edition of the book.
* [https://www.math.mcgill.ca/barr/papers/gk.pdf Some aspects of homological Algebra], translation of Grothendieck's ''Tôhoku'' paper
* http://www.tac.mta.ca/tac (Theory and Applications of Categories)
* 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)
* https://web.archive.org/web/20080704125156/http://www.math.rutgers.edu/hha/geninfo.html (Homology, Homotopy and Applications)

Latest revision as of 22:14, 30 April 2024

Michael Barr
Born (1937-01-22) January 22, 1937 (age 87)
Philadelphia, Pennsylvania, U.S.
Academic background
BildungUniversity of Pennsylvania (BS, PhD)
Academic work
DisciplineMathematics
Sub-disciplineHomological algebra
Category theory
Theoretical computer science
InstitutionsColumbia University
University of Illinois Urbana-Champaign
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]

Early life and education

[edit]

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

[edit]

Barr studied mathematics at the University of Pennsylvania, graduating with a bachelor's degree in 1959 and a doctorate in 1962 under 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 Urbana-Champaign. In 1968 he became Associate Professor and in 1972 Professor at McGill University.

In 1967 and 1975/76 he was a visiting scientist at ETH Zurich and in 1970/71 at the University of Fribourg and in 1989/90 a visiting professor at the University of Pennsylvania.

In 1970 he was an invited speaker at the International Congress of Mathematicians in Nice (Non-abelian full embedding: outline).

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 (1990) 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 (1979), and his books Toposes, Triples, and Theories (1985),[2][3] also coauthored with Wells, and Acyclic Models (2002), are aimed at more specialized audiences. In 2011 Michael Barr and his wife Marcia published an English translation of Grothendieck's fundamental Tôhoku paper.

Barr 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

[edit]
  1. ^ "Mathematics and Statistics". McGill University. Retrieved 11 August 2011.
  2. ^ 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
  3. ^ Rota, Gian-Carlo (August 1986), "Toposes, triples and theories: M. Barr and C. Wells, Springer, 1985, 345 pp.", Advances in Mathematics, 61 (2): 184, doi:10.1016/0001-8708(86)90076-9
[edit]


Flag of CanadaBiography icon

This biographical article relating to a Canadian computer specialist is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Michael_Barr_(mathematician)&oldid=1221605204"