Thinking Categorically - by Senia Sheydvasser
derangedmathematician.substack.com · 4,126 words · saved by 1 readers
An introductory foray into category theory
This is adapted from an old Quora post, but I have tweaked and updated it. A little while back, I wrote an introduction to set theory, with some comments about what it is good for and what the drawbacks of using set theory to construct the basic objects in mathematics are. Specifically, I pointed out that oftentimes we really want to think about such objects in terms of their relationships with each other, and set theory is a poor medium for that. Right now, we are going to revisit this problem, and I shall introduce a solution: category theory. We’ll see that category theory is a very…
saved by
related reading
- Is Category Theory Practical?substack.com
- What is Category Theory Anyway?math3ma.com
- Category Theory on Math3mamath3ma.com
- Introducing Categories || Math ∩ Programmingjeremykun.com
- Category theory - Wikipediaen.wikipedia.org
- Infinity Category Theory Offers a Bird's-Eye View of Mathematics | Scientific Americanscientificamerican.com
- Functor - Wikipediaen.wikipedia.org
- Programming with Categoriesbrendanfong.com
- Adjunctions | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
- Universal property - Wikipediaen.wikipedia.org
- Categories, What's the Point? || Math ∩ Programmingjeremykun.com