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:
Post a Comment