Category theory for programmers vs for mathematicians

489 Views Asked by At

When I search for texts online about category theory, the majority of the results that appear are geared towards programmers/computer scientists. My intent is to learn about it for its mathematical merit, and I can find such texts, but my question is is there a substantial difference in the approach/breadth of material taught in one vs the other?

It would seem apparent that those geared more towards programming would touch on the applications of category theory in specific programming languages and how computers work with it, but does it also sacrifice some of the details/rigor in return for a more 'engineering' style approach, where results are more important than a total understanding of the forces at play?

EDIT response to comments: examples of specific mathematically oriented books include Lawvere's An Elementary Theory of the Category of Sets or MacLane's Categories for the Working Mathematician, as opposed to the text Category Theory for Computing Science and in particular many Haskell specific manuals, such as one of the first results (right after Wikipedia's own), the Wikibooks on category theory for Haskell, along with a plethora of blog-style publications for specific languages and/or category theory for programmers in general.

1

There are 1 best solutions below

0
On

Check out Category Theory in Context by Emily Riehl. It is free on her website, and gives a broad overview of the mathematical context of categories.