Category theory is an abstract branch of mathematics used to model mathematical "objects", and mappings between them.
In order to define a category you define the mathematical objects involved (such as "Sets" for instance), and the mappings (such as "Functions" for instance). So there is a category of mathematical sets and their functions.
Now the categories themselves could also be considered mathematical objects, and we could look at mappings between categories as well, which would also be a category.
In more detail a Category consists of:
- Mappings (called morphisms) between those objects.
- A binary composition operator, which can combine those mappings such that a mapping from object A to object B, and a mapping from object B to object C can be combined into a single mapping from object A to object C.
- There should be a mapping that acts as an identity under composition, such that composing that mapping with another mapping M, gives you back the mapping M.
- Composition should be associative.
Anything that can be represented by the above list can be analyzed as a category, that is why it is considered so abstract.
- The Curry Howard isomorphism. The idea that logic and programming are just two sides of the same coin: types are propositions and programs are proofs.
- Originally, category theory traces it roots to algebraic topology. What you find is that you can associate to topological spaces (often simplicial complexes or other triangulated spaces) an algebraic object (often a group, abelian group, ring, vectorspace, or module). And the continuous maps then "lift" to the corresponding algebraic homomorphism.
- Look at the relationships between things, rather than the components of a thing.
- Category Theory nLab
- Applied Category Theory – Online Course
- Functional Programming and Category Theory [Part 1] - Categories and Functors
- Seven Sketches in Compositionality: An Invitation to Applied Category Theory
- Category Theory for Programmers PDF
- Category Theory for Programmers: The Preface
- Learn You Some Category Theory
- The Catsters YouTube channel - Videos on category theory.
- ELI 5: Category Theory
- A Perspective on Higher Category Theory