Category Theory [pdf]

(logicmatters.net)

9 points | by ColinWright 9 hours ago

3 comments

  • ColinWright 8 hours ago
    From the author's post on Mathstodon ...

    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

  • helix278 8 hours ago
    Quite nice. Though I like texts with exercises better