Category Theory
Category Theory is about how objects are related to each other. A category is a collection of objects and arrows, also known as morphisms, between those objects. 1
Notably, Category Theory is more focused on morphisms rather than what the objects are exactly. 2 When applied to programming, the advantages given by category theory allow you to compose things together more easily. These advantages are lost if you have to dig into the implementation of an object in order to understand how to compose it with other objects. 1
Types of categories:
Reading material:
- Category Theory Illustrated by Jencel Panic 2
- Category Theory for Programmers by Bartosz Milewski 3
- The Joy of Abstraction by Eugenia Cheng 2
- Category Theory in Context by Emily Riehl 2
- Category Theory for the Working Mathematician by Saunders Mac Lane 1