Category Theory is a way to represent the structures of mathematical objects using objects and arrows.

1. [1] nLab's page on Category Theory
2. [2] Category Theory for Programmers by Bartosz Milewski