Category Theory is a mathematical formalism to reason about structures of any system using arrows.

[1] nLab's page on Category Theory

[2] Category Theory for Programmers by Bartosz Milewski