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

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