MHB What is the best book on category theory for beginners?

AI Thread Summary
The discussion centers on recommendations for beginner-friendly books on category theory. Key suggestions include "Conceptual Mathematics" by Lawvere and Schanuel for its accessibility and foundational concepts, and "Topoi: The Categorial Analysis of Logic" by Goldblatt, which is available online. Other notable mentions are "Category Theory" by Steve Awodey and "Basic Category Theory for Computer Scientists" by Benjamin Pierce, both respected in the field. Participants also suggest exploring math.stackexchange.com for additional resources and recommendations tailored to specific interests. Overall, these resources aim to make category theory more approachable for newcomers.
alyafey22
Gold Member
MHB
Messages
1,556
Reaction score
2
Hey guys , what is the best book to read about category theory ?
 
Mathematics news on Phys.org
Ah, you want to learn abstract nonsense! Good for you! Category theory (CT) is extensively used in computer science (for example, in the theory of programming languages). Moreover, even among practicing researches it has the reputation of a somewhat esoteric discipline. Some people are comfortable with it, but not everybody, and a lot of options are open only to the former.

The most elementary book is probably Conceptual Mathematics by Lawvere and Schanuel. It is of the kind that can be read not necessarily at a desk with a pen in hand, but it does teach you the right concepts, up to the ones that we covered only at the end of a graduate-level semester course. Also, Lawvere is one of the pillars in CT. I want to re-read this book. Another accessible (though oldish) book is Topoi: The Categorial Analysis of Logic by Goldblatt. It is available online.

I was recommended Category Theory by Steve Awodey. They say that he also has lecture notes online. There is also Basic Category Theory for Computer Scientists by Benjamin Pierce. I have not seen it, but I respect the author and read another of his books. The book used in the course that I took was Category Theory: An Introduction by Herrlich and Strecker. It's not bad, but uses a lot of examples from math (rings, topological spaces, etc.). The authors also have the book Abstract and Concrete Categories available online.

I recommend searching at math.stackexchange.com. There are several similar questions there and some good recommendations, including books for programmers, connections with other subjects, such as analysis, links to lecture notes, videos and so on.
 
Oh man , you are awesome . I was recommended to read the book by Pierce by a prefessor in the Math department but haven't started reading it yet . I will look at the book by F. William Lawvere , it seems good .
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...

Similar threads

Back
Top