In reply to Jake Rayson.

Broadly, category theory is abstract math, but it's an area that also underpins functional programming within computer science as well. You can follow the link(s) for additional information/resources on my site.