I am a 17 years old student and I am really interested in category theory due to its abstraction and beauty. I wanted to know if you'd have any advices to approach this theory and if you have papers to begin with this.
Thank you in advance for your answer.
An approach to studying that works with many branches of mathematics is to learn the prerequisites first, then study a good textbook on the subject. For instance, one could study subjects like algebra, measure theory, smooth manifolds, functional analysis in this manner.
Although a textbook on the subject can include examples from other subjects that one has not studied yet, the presence of such examples typically does not prevent one from successfully mastering the particular subject under consideration. (I would say that a good textbook should certainly try to include connections to other areas and not portray its subject as an isolated field.)
For category theory, taking such a route can be quite difficult. Indeed, the (formal) prerequisites are almost nonexistent: elementary logic and set theory will do. But such simplicity can be deceiving.
For instance, the notion of a Kan extension can be very puzzling until one learns a few specific nontrivial examples, such as pushforward and pullback maps for sheaves, various geometric realization functors, or quantization of Dijkgraaf–Witten theories.
Even the definitions of relatively simple notions, such as equivalence of categories may convey a rather deceiving picture of their importance, until one learns some really deep examples of equivalences of categories, such as the Gelfand duality, Hahn–Banach theorem, spectral theorem for normal operators, Pontrjagin duality, Serre–Swan theorem, GAGA, or second and third Lie theorems.
As may be obvious from the above examples, it may be difficult to present category theory with sufficient motivation without making considerable use of other areas. This immediately presents a serious problem: from what areas one should draw examples? Trying to cover all of mathematics is too hard. Concentrating on examples from a specific area (e.g., algebra, like some books on category theory do) immediately creates its own problems: an analyst reading a category theory textbook with examples from algebra may not see much value in it, since it does not seem to relate directly to analysis.
Thus, one point of view is that the best way to learn category theory is to study other branches of mathematics that actively use categorical concepts.
Here are some textbooks that present their subject using categorical tools where appropriate:
Algebra: Paolo Aluffi. Algebra. Chapter 0. Graduate Studies in Mathematics 104 (2009).
Algebraic topology: Tammo tom Dieck. Algebraic Topology. EMS Textbooks in Mathematics (2008).
Functional analysis: Alexander Helemskii. Lectures and Exercises on Functional Analysis. Translations of Mathematical Monographs 233 (2006).
Elementary set theory: F. William Lawvere, Robert Rosebrugh. Sets for Mathematics. Cambridge University Press (2003).
General topology: Tai-Danae Bradley, Tyler Bryson, John Terilla. Topology. A Categorical Approach. MIT Press (2020).
Elementary topology: Ronald Brown. Topology and Groupoids. BookSurge (2006).
Once you are familiar with a few subjects that use category theory, you may want to solidify your knowledge by studying categories more systematically. Of the available books, the better one in terms of size and selection of material appears to be
I have an advice: Don't do it. I was once like you, and went into lectures about CT barely knowing any mathematics at all. The result: I didn't understand anything and failed. Learning CT requires a lot of background so that the ideas sound more "natural". If you're asking how to learn CT because of It's "abstraction and beauty", you're probably romanticizing for no good reason.
I am being blunt because that failure almost took my motivation to study any mathematics. That could also happen to you.
Unfortunately, there aren't many textbooks available to learn Category Theory from for the bright undergraduate or college student, unlike set theory or calculus.
Although, it is characterised as being abstraction heavy, it is no more so than set theory or calculus. Personally, what sold it to me is that category theory showed that the multiplication (product) was dual to addition (coproduct). Another slogan is that set theory emphasises the membership relation, whilst category theory emphasises the functional relation. The concrete application that showed how it was concretely useful, was to notice that the chain rule in differential calculus in vector spaces generalises to over manifolds and there it is seen as a functor.
One textbook is Lawvere & Schanuel's, Conceptual Mathematics. This was designed for high-school students.
At a more advanced level, check out Eugenia Chengs online lecture notes on category theory. I can recommend this highly - it's where I learnt category theory from. Eugenia is also known as a presenter of The Catsters, a series of short videos on category theory, and available on YouTube, and again, highly recommended.
I think Fong and Spivak's Seven Sketches in Compositionality is the ideal answer to this question. You phrased your question as being about the "mindset" that you need to learn category theory, and if I were to put that mindset into a single sentence it would be: "It usually pays off to think about the structure created by the relationships between the objects that you're studying". "Seven sketches" takes that attitude and runs with it, applying it to examples coming from chemistry, informatics, computer science, and so on.
It's also structured in such a way that you can get a broad feel for the subject without getting overwhelmed by the theory; the authors present a nice visualization of the difficulty of the book:
If you were like me at 17, you might be better served starting off with an introductory text on the language of mathematics itself. I'd recommend the book "A transitition to advanced mathematics" available free here, or get an ereader version here.
A list of other free math textbooks can be found here.
You may want to take a look at Applied Compositional Thinking for Engineers (ACT4E), an ongoing graduate course at ETH Zürich:
In many domains of engineering it would be beneficial to think explicitly about abstraction and compositionality, to improve both the understanding of problems and the design of solutions.
A kind of mathematics particularly well-suited for thinking about compositionality is applied category theory. However, at present, this mathematics is relatively inaccessible to the average engineer. This is due in part to the inertia of the education system: outside of computer engineering, only little algebra is taught, in favor of analysis and related fields. This made sense some decades ago, but does not reflect today's real-world needs.
Recently, many good expositions of category theory for applications have appeared (see resources) yet to date, none are oriented explicitly toward engineering. This course will fill this gap. We will introduce the framework of monotone co-design as a means to teach basic concepts of category theory alongside principles of compositional engineering. Special care will be taken to illustrate the ideas with concrete examples (especially from autonomous robotics), and to indicate applications.
A nice resource (a learning roadmap) for exploring introductory papers, books, and vids on category theory is Bradley's "What is Category Theory Anyway?"
You like to see connections, so I would suggest, to provide a little focus yet an avenue for exploring diverse crossroads in math and physics (maybe even with some like-minded friends/schoolmates), that you try this challenge at a leisurely pace;
Given a real function $f(x)$ of a real variable represented as a power series about the origin that vanishes at the origin and its compositional inverse $f^{(-1)}(x)$, sketch the relationships among the two functions and the compositions $e^{t \; f(x)}$ and $e^{t \; f^{(-1)}(x)}$ elucidated by
category theory
Hopf algebra
differential geometry
geometric combinatorics
Lie theory
umbral / finite operator calculus
matrix algebra
statistical and classical mechanics.
I think you'll come to realize the strengths and shortcomings of the different approaches and how good Feynman's advice to constantly expand your bag of tricks / toolbox is.
Not trying to self-promote, but I have about 100 pages of basic category theory notes I was planning on eventually pushing towards internal/two-dimensional category theory and putting on the arxiv as a survey article. They've been sitting around for two years now, though, so I uploaded them in their current (very unfinished) form in case they might help you. All the content on $1$-category theory is solid (sections 1-7), and sections 8-9 are serviceable, but please ignore the later sections for now.
They assume no familiarity with anything besides what a set and function are, although being familiar with the naturals/integers/rationals as distinct entities will help understand an early example of a non-surjective epimorphism. If you need to develop familiarity with sets please feel free to grab any standard text on set theory and read it, or if you like my notes you can try this arxiv paper I uploaded a few years back which builds up the set theory you'll need from scratch. Again, the research at the end is shaky and shouldn't be used, but pages 1-6 give a 'from-scratch' development of the axioms of MK class theory and the stuff through page 19 offers some basic lemmas to try and prove (don't read my proofs unless you need to!)
Best of luck, and remember not to beat yourself up if things get challenging! The level of abstraction in either of the above note sets is likely to be a signifigant step up from the kinds of mathematics you've encountered thus far, so be sure to come back to MSE and ask further questions! (MO is a bit too high level for this stuff generally speaking, as evidenced by the users trying to close the question, but these are completely reasonable questions over at MSE)
