nLab
Michael Barr

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 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. Michael Barr has much advocated the methods of his late student Jon Beck, involving monads, especially monadicity criteria and monadic cohomology.

Selected writings

Barr is well known to theoretical computer scientists for his book

as well as for the development of star-autonomous categories and Chu spaces which have found various applications in computer science. Also

Introducing Barr-exact categories and regular categories:

On toposes, monads (“triples”) and algebraic theories:

On an improved context for Pontrjagin duality:

category: people