Michael Barr (matematiker)

Michael Barr
Född	( 1937-01-22 ) 22 januari 1937 Philadelphia , Pennsylvania , USA
Akademisk bakgrund
Utbildning	University of Pennsylvania ( BS , PhD )
Akademiskt arbete
Disciplin	Matematik
Deldisciplin	Homologisk algebra Kategoriteori Teoretisk datavetenskap
institutioner	Columbia University University of Illinois Urbana-Champaign McGill University

Michael Barr (född 22 januari 1937) är en amerikansk matematiker som är Peter Redpath emeritusprofessor i ren matematik vid McGill University .

tidigt liv och utbildning

Han föddes i Philadelphia , Pennsylvania , och tog examen från 202:a klassen på Central High School i juni 1954. Han tog examen från University of Pennsylvania i februari 1959 och fick en doktorsexamen från samma skola i juni 1962.

Karriär

Barr undervisade vid Columbia University och University of Illinois innan han kom till McGill 1968.

Hans tidigare arbete var i homologisk algebra , men hans huvudsakliga forskningsområde under ett antal år har varit kategoriteori . Han är välkänd för teoretiska datavetare för sin bok Category Theory for Computing Science med Charles Wells , såväl som för utvecklingen av *-autonoma kategorier och Chu-rum som har hittat olika tillämpningar inom datavetenskap. Hans monografi *-autonoma kategorier , och hans böcker Toposes, Triples, and Theories , som också skrivits tillsammans med Wells och Acyclic Models , är riktade till mer specialiserade publiker.

Han sitter i redaktionen för Mathematical Structures in Computer Science och den elektroniska tidskriften Homology, Homotopy and Applications och är redaktör för den elektroniska tidskriften Theory and Applications of Categories .

externa länkar

• Toposes, Triples and Theories , uppdaterad utgåva av text publicerad 1983.
• Category Theory for Computing Science uppdaterad utgåva av text publicerad 1999.
• http://www.tac.mta.ca/tac (Teori och tillämpningar av kategorier)
• https://web.archive.org/web/20080704125156/http://www.math.rutgers.edu/hha/geninfo.html (Homologi, Homotopi och applikationer)
• Michael Barr vid Mathematics Genealogy Project