Apart from proof reading for typos and thinkos, this is the version which will be paperbacked (as cheaply as possible) in May. So do please let me know of any errors, however small!
(For those who aren't familiar with earlier drafts, this is a very gently paced intro, covering much of what's in e.g. Tom Leinster's book but at a more leisurely pace with most proofs/exercises fully spelt out. Could be useful warm up for those who will be taking an industrial strength grad course. Or for those who just want to get some sense of what the catgorial fuss is about but in a more conventional/more detailed way than you'll get from Eugenia Cheng's book)
ColinWright•9mo ago
There's a new complete version of Introducing Category Theory downloadable here:
https://logicmatters.net/categories
Apart from proof reading for typos and thinkos, this is the version which will be paperbacked (as cheaply as possible) in May. So do please let me know of any errors, however small!
(For those who aren't familiar with earlier drafts, this is a very gently paced intro, covering much of what's in e.g. Tom Leinster's book but at a more leisurely pace with most proofs/exercises fully spelt out. Could be useful warm up for those who will be taking an industrial strength grad course. Or for those who just want to get some sense of what the catgorial fuss is about but in a more conventional/more detailed way than you'll get from Eugenia Cheng's book)
-- https://mathstodon.xyz/@PeterSmith/114405298066685855