A branch of mathematics that deals with the abstract properties of mathematical structures and the relationships between them.

"Category theory has found applications in computer science, especially in the field of functional programming and type systems."