3 ms·
Mac Lane was one of the founders of category theory - see for example: "General Theory of Natural Equivalences" - Samuel Eilenberg and Saunders MacLane. Transa
by bikenaga 6y ago
Mac Lane was one of the founders of category theory - see for example:
"General Theory of Natural Equivalences" - Samuel Eilenberg and Saunders MacLane. Transactions of the American Mathematical Society, Vol. 58, No. 2, (Sep., 1945), pp. 231-294
His "Categorical algebra" paper from 1964 is open-access:
https://projecteuclid.org/euclid.bams/1183526392 https://projecteuclid.org/euclid.bams/1183526392
When his book came out it was the standard work for a while. I think some of the terminology he uses is no longer standard, and there are now many very good modern introductions. But his book is still a pretty good read, primarily because he was a wonderful writer with a very distinctive style.
That said, the examples (given the time the book was written) are almost exclusively mathematical. The proofs and exercises are usually not difficult, but at a high level of abstraction (not surprisingly).