framing

functional programming

category theory as a level of abstraction above other maths

sets, algebra, topology