Friday, April 22, 2005

Saunders MacLane, 95, died April 14th

His book "Category Theory for the Working Mathematician" is a masterpiece and a great way to get an introduction to a lot of mathematics very quickly. Category Theory is compelling, in part because it is presented almost entirely in diagrams, giving a visual texture to possibly the most abstract branch of mathematics.

Category Theory has been influential in Computer Science, see "Category Theory for Computing Science" by Barr & Wells, and in mathematical logic: "Introduction to higher order categorical logic" by Lambek and Scott.

New York Times Obituary

No comments: