Category theory is the kind of math that is particularly well suited for the minds of programmers.
It deals with the kind of structure that makes programs composable. And I will argue strongly that composition is the essence of programming. I will illustrate all major concepts using computer code.